Showing 1 - 3 results of 3 for search '"I/O automata."', सवाल का समय: 0.02सेकंड परिणाम को परिष्कृत करें
  1. 1

    Model and verification of a data manager based on ARIES. द्वारा Kuo, Dean

    में प्रकाशित ACM transactions on database systems.
    लेख

    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.
    लेख

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

    A note on fairness in I द्वारा Romjin, Judi

    में प्रकाशित Information processing letters.
    लेख

    A note on fairness in I

खोज साधन: