ニュースのご紹介｜情報通信制御システムに特化したソフトウェア開発企業　ミクロスソフトウエア

通信制御・情報ネットワーク専門のソフトウェア開発企業

文字サイズ

HOME ニュース 2012 8月25日発売の「Interface（インターフェース）10月号」に形式手法（Bメソッド）の研究成果を発表しました

8月25日発売の「Interface（インターフェース）10月号」に形式手法（Bメソッド）の研究成果を発表しました

2012年08月30日

8月25日発売のＣＱ出版社「Ｉｎｔｅｒｆａｃｅ（インターフェース）10月号」の、「ＦＭ３マイコン基盤で学ぶＢメソッドによる形式手法」論文シリーズの第３回として、弊社エンベデッドソリューション事業部船津侑志が【仕様が正しいことを証明する「対話証明」】を発表しました。