Đang hiển thị 1 - 3 kết quả của 3 cho tìm kiếm '"I/O automata."', thời gian truy vấn: 0.01s Tinh chỉnh kết quả
  1. 1

    Model and verification of a data manager based on ARIES. Bằng Kuo, Dean

    Bài viết

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

    Component-interaction automata as a verification-oriented component-based system specification. Bằng Brim, Lubo?

    Xuất bản năm Software engineering notes.
    Bài viết

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

    A note on fairness in I Bằng Romjin, Judi

    Bài viết

    A note on fairness in I

Công cụ tìm kiếm: