検索結果 61 - 63 結果 / 63 検索語 '"Software / Program Verification."', 処理時間: 0.01秒 結果の絞り込み
  1. 61

    Modular design and verification of component-based mechatronic systems with online-reconfiguration. 著者: Giese, Holger

    論文

    Modular design and verification of component-based mechatronic systems with online-reconfiguration.
  2. 62

    Heuristic-guided counterexample search in FLAVERS. 著者: Tan, Jianbin

    論文

    Heuristic-guided counterexample search in FLAVERS.
  3. 63

    Interval arithmetic From principles to implementation. 著者: Hickey, T.

    出版年 Journal of the ACM
    論文

    Interval arithmetic From principles to implementation.

検索ツール: