 |
|---|
 |
 |
 |
 |
 |
 |
 |
 |
 |
車載組込みソフトウェア向け状態遷移表モデル検査技術の研究開発
知的クラスター創成事業（第II期）の研究テーマの１つである「車載組込みソフトウェア向け状態遷移表モデル検査技術の研究開発」（研究代表者：九州大学大学院 システム情報科学研究院 福田晃教授）では、ホームページを開設いたしました。
状態遷移表をベースとしたモデル検査ツールである「Garakabu2」を中心に最新の研究内容を紹介しております。
是非ご覧ください。
サイト名：「テーマ１：車載組込みソフトウェア向け状態遷移表モデル検査技術の研究開発」
URL：http://gar
