Toon 1 - 3 resultaten van 3 Voor zoekopdracht '"I/O automata."', zoektijd: 0,02s Verfijn jouw resultaten
  1. 1

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

    Gepubliceerd in Software engineering notes.
    Artikel

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

    A note on fairness in I door Romjin, Judi

    Artikel

    A note on fairness in I

Zoekinstrumenten: