用語
J-GLOBAL ID：200906016817878008
SPINモデルチェッカ
主題カテゴリー：
主題カテゴリー
用語の主な分野です
電子計算機
同義語 (2件)：
SPIN
SPIN について
「SPIN」ですべてを検索
SPINモデルチェッカー
(SPIN model checker)
SPINモデルチェッカー について
「SPINモデルチェッカー」ですべてを検索
関連語 (1件)：
モデル検査
(model checking)
モデル検査 について
「モデル検査」ですべてを検索
この用語の用語情報を見る
上位語 (1件)：
支援プログラム
(support program)
支援プログラム について
「支援プログラム」ですべてを検索
この用語の用語情報を見る
シソーラスmap：
シソーラスmap
※学術用語集由来のみの同義語は表示されません
前のページに戻る
TOP
BOTTOM
