Showing 1 - 3 results of 3 for search '"I/O automata."', זמן שאילתה: 0.02s Refine Results
  1. 1

    Model and verification of a data manager based on ARIES. מאת Kuo, Dean

    Article

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

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

    הוצא לאור ב Software engineering notes.
    Article

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

    A note on fairness in I מאת Romjin, Judi

    הוצא לאור ב Information processing letters.
    Article

    A note on fairness in I

כלי חיפוש: