Näytetään 1 - 3 yhteensä 3 tuloksesta haulle '"I/O automata."', hakuaika: 0,01s Tarkenna hakua
  1. 1

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

    Artikkeli

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

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

    Artikkeli

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

    A note on fairness in I Tekijä Romjin, Judi

    Artikkeli

    A note on fairness in I

Työkalut: