・・・model checker?SPIN Model Checker, The: Primer and Reference Manual作者: Gerard J. Holzmann出版社/メーカー: Addison-Wesley Professional発売日: 2003/09/04メディア: ハードカバー クリック: 3回この商品を含むブログ (7件) を見る うーん・・…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。