The SPIN Model Checker, G.J.Holzmann著

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人日本ソフトウェア科学会の論文
• 2004-03-25

著者

• 中島 震

  科学技術振興機構さきがけ&法政大学

関連論文

• The SPIN Model Checker, G.J.Holzmann著
• コンポーネントフレームワーク振舞い解析への多値遷移システムの応用

スポンサーリンク