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

スポンサーリンク

概要

• 同名の論文著者
• 科学技術振興機構さきがけ&法政大学の論文著者

関連著者

• 中島 震

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

著作論文

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

スポンサーリンク