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

    Model and verification of a data manager based on ARIES. ανά Kuo, Dean

    Τόπος έκδοσης ACM transactions on database systems.
    Άρθρο

    Model and verification of a data manager based on ARIES.
  2. 2

    Component-interaction automata as a verification-oriented component-based system specification. ανά Brim, Lubo?

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

    Component-interaction automata as a verification-oriented component-based system specification.
  3. 3

    A note on fairness in I ανά Romjin, Judi

    Τόπος έκδοσης Information processing letters.
    Άρθρο

    A note on fairness in I

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