Prikaz rezultata 1 – 3 od 3 za pretragu '"I/O automata."', vrijeme upita: 0,02s Detaljiziraj rezultate
  1. 1

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

    Članak

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

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

    Članak

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

    A note on fairness in I od Romjin, Judi

    Članak

    A note on fairness in I

Alati za pretragu: