Gösterilen 1 - 3 sonuçlar arası kayıtlar. 3 sonuç. Aranan kelime '"I/O automata."', Sorgu süresi: 0.01s Sonuçları Daraltın
  1. 1

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

    Makale

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

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

    Makale

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

    A note on fairness in I Yazar: Romjin, Judi

    Makale

    A note on fairness in I

Arama Araçları: