Treffer 1 - 2 von 2 für Suche '"Labeled transitions systems."', Suchdauer: 0,02s Treffer weiter einschränken
  1. 1

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

    Veröffentlicht in Software engineering notes.
    Artikel

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

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

    Artikel

    Incremental integration testing of concurrent programs.

Suchwerkzeuge: