事務局

　2009年5月13日（水）～15日（金）に東京ビッグサイトにて開催されました「第12回　組込みシステム開発技術展」に出展いたしました。
　知的クラスター創成事業（第II期）研究テーマでは、組込みソフトウェア関係の「車載組込みソフトウェア向け状態遷移表モデル検査技術の研究開発」（代表研究者：福田晃教授（九州大学大学院システム情報科学研究院））の研究成果である、モデル検査ツール「Garakabu」とモデル検査支援ツール「Spinコンバータ」のデモンストレーションを中心に展示を行い、ブースへ多数のご来場を頂きました。

---

※開催情報については、こちらをご覧ください。