Résultat(s) 1 - 3 résultats de 3 pour la requête '"I/O automata."', Temps de recherche: 0,02s Affiner les résultats
  1. 1

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

    Article

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

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

    Article

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

    A note on fairness in I par Romjin, Judi

    Article

    A note on fairness in I

Outils de recherche: