প্রদর্শন 1 - 3 ফলাফল এর 3 অনুসন্ধানের জন্য '"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

অনুসন্ধান সাধনীগুলি: