Visas 1 - 2 av 2 resultat för sökning '"Labeled transitions systems."', Sökningstid: 0,02s Förfina resultatet
  1. 1

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

    I publikationen Software engineering notes.
    Artikel

    Detecting implied scenarios in message sequence chart specifications.
  2. 2

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

    Artikel

    Incremental integration testing of concurrent programs.

Sökverktyg: