用語

J-GLOBAL ID：201306030375890246

境界モデル検査

電子計算機
同義語 (1件)：

境界モデルチェッキング (bounded model checking)
境界モデルチェッキングについて
- 「境界モデルチェッキング」ですべてを検索

関連語 (1件)：

境界 (boundary)
境界について
- 「境界」ですべてを検索
- この用語の用語情報を見る

上位語 (1件)：

モデル検査 (model checking)
モデル検査について
- 「モデル検査」ですべてを検索
- この用語の用語情報を見る

シソーラスmap：

シソーラスmap ※学術用語集由来のみの同義語は表示されません

前のページに戻る

TOP

BOTTOM