Visas 1 - 3 av 3 resultat för sökning '"I/O automata."', Sökningstid: 0,02s Förfina resultatet
  1. 1

    Model and verification of a data manager based on ARIES. av 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. av Brim, Lubo?

    I publikationen Software engineering notes.
    Artikel

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

    A note on fairness in I av Romjin, Judi

    Artikel

    A note on fairness in I

Sökverktyg: