検索結果 1 - 3 結果 / 3 検索語 '"I/O automata."', 処理時間: 0.02秒 結果の絞り込み
  1. 1

    Model and verification of a data manager based on ARIES. 著者: Kuo, Dean

    論文

    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?

    論文

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

    A note on fairness in I 著者: Romjin, Judi

    論文

    A note on fairness in I

検索ツール: