Sökresultat - "Labeled transitions systems."

  • Visas 1 - 2 av 2 resultat
Förfina resultatet
  1. 1

    Incremental integration testing of concurrent programs. av Koppol, P.V

    Artikel


    Omslagsbild
  2. 2

    Detecting implied scenarios in message sequence chart specifications. av Uchitel, Sebastian

    I publikationen Software engineering notes.
    Artikel


    Omslagsbild

Sökverktyg: