「ET 2016 組込み総合技術展」におけるプレスリリースのお知らせ

「ET 2016 組込み総合技術展」におけるプレスリリースのお知らせ

パシフィコ横浜にて開催されました「ET 2016 組込み総合技術展」会場におきまして、以下のプレスリリースを行わせていただきました。

■ ソフトウェアの実行時不具合を根絶する形式検証ツールチェーン 販売開始
～自動車や航空宇宙で求められる高信頼性設計品質をサポート～
・プレスリリース
・プレゼンテーション資料

■ Industry 4.0/ Industrial Internet対応の組込み通信ライブラリ販売開始
～TOPPERSプロジェクトでの活用を計画～（TOPPERSプロジェクトの合同プレス発表）
・プレスリリース
・プレゼンテーション資料