close
1.

図書
図書
1. SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN
中島震著
出版情報: 東京 : 近代科学社, 2008.4
所蔵情報: loading…
2.

図書
図書
2. ソフトウェア信頼性の基礎 : モデリングアプローチ
山田茂著
出版情報: 東京 : 共立出版, 2011.8
所蔵情報: loading…
3.

図書
図書
3. SPINモデル検査入門
Mordechai Ben‐Ari著 ; 谷津弘一, 野中哲, 足立太郎共訳
出版情報: 東京 : オーム社, 2010.3
所蔵情報: loading…
4.

図書
図書
4. 基礎から実践まで4日で学べる
産業技術総合研究所システム検証研究センター著
出版情報: 東京 : ナノオプト・メディア , 東京 : 近代科学社(発売), 2009.11
シリーズ名: CVS教程 ; 1 . モデル検査||モデル ケンサ ; 初級編
所蔵情報: loading…