Mostra 1 - 3 risultati di 3 ricerca '"I/O automata."', tempo di risposta: 0,02s Raffina i risultati
  1. 1

    Model and verification of a data manager based on ARIES. di Kuo, Dean

    Articolo

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

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

    Articolo

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

    A note on fairness in I di Romjin, Judi

    Articolo

    A note on fairness in I

Strumenti per la ricerca: