Erakusten 1 - 3 emaitzak -- 3 bilaketa honetara '"I/O automata."', Bilaketaren denbora: 0,02s Findu emaitzak
  1. 1

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

    Artikulua

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

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

    A note on fairness in I nork Romjin, Judi

    Argitaratua izan da Information processing letters.
    Artikulua

    A note on fairness in I

Bilaketa egiteko lanabesak: