Mostra 1 - 2 risultati di 2 ricerca '"Labeled transitions systems."', tempo di risposta: 0,02s Raffina i risultati
  1. 1

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

    Articolo

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

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

    Articolo

    Incremental integration testing of concurrent programs.

Strumenti per la ricerca: