Εμφανίζονται 1 - 2 Αποτελέσματα από 2 για την αναζήτηση '"Labeled transitions systems."', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1

    Detecting implied scenarios in message sequence chart specifications. ανά Uchitel, Sebastian

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

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

    Incremental integration testing of concurrent programs. ανά Koppol, P.V

    Τόπος έκδοσης IEEE Transactions on software engineering
    Άρθρο

    Incremental integration testing of concurrent programs.

Εργαλεία αναζήτησης: