Отображение 1 - 3 результаты of 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

Инструменты поиска: