يعرض 1 - 3 نتائج من 3 نتيجة بحث عن '"I/O automata."', وقت الاستعلام: 0.02s تنقيح النتائج
  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

أدوات البحث: