Treffer 1 - 3 von 3 für Suche '"I/O automata."', Suchdauer: 0,02s Treffer weiter einschränken
  1. 1

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

    Artikel

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

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

    Veröffentlicht in Software engineering notes.
    Artikel

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

    A note on fairness in I von Romjin, Judi

    Veröffentlicht in Information processing letters.
    Artikel

    A note on fairness in I

Suchwerkzeuge: