検索結果 1 - 5 結果 / 5 検索語 '"Specification techniques."', 処理時間: 0.02秒 結果の絞り込み
  1. 1

    Compositional refinement of interactive systems. 著者: Broy, Manfred

    出版年 Journal of the ACM
    論文

    Compositional refinement of interactive systems.
  2. 2

    Relational analysis of algebraic datatypes. 著者: Kuncak, Viktor

    論文

    Relational analysis of algebraic datatypes.
  3. 3

    Interface automata. 著者: De Alfaro, Luca

    論文

    Interface automata.
  4. 4

    Modular verification of collaboration-based software designs. 著者: Fisler, Kathi

    論文

    Modular verification of collaboration-based software designs.
  5. 5

    Register-machine based processes. 著者: Bergstra, Jan A.

    出版年 Journal of the ACM
    論文

    Register-machine based processes.

検索ツール: