CAPSE-B(コンソーシアム)で進めている形式的仕様記述研究の実績を情報処理推進機構（IPA）ブース（ブース番号E-24）に出展しました。
11/14(水)16:00からIPAブースにて、弊社エンベデッドソリューション事業部の船津侑志が研究成果を発表しました。