ニュース
| 2012.11.22大阪中之島センタービルで開催された「組込みシステム産業振興機構 / 第１回 地域連携セミナー」にて形式手法（Bメソッド）の研究成果を発表しました |
2012年11月05日
CAPSE-B(コンソーシアム)で進めている形式的仕様記述研究の実績について、弊社エンベデッドソリューション事業部の船津侑志が研究成果を発表しました。
| 2012.11.22大阪中之島センタービルで開催された「組込みシステム産業振興機構 / 第１回 地域連携セミナー」にて形式手法（Bメソッド）の研究成果を発表しました |
CAPSE-B(コンソーシアム)で進めている形式的仕様記述研究の実績について、弊社エンベデッドソリューション事業部の船津侑志が研究成果を発表しました。
