• ET / IoT 総合技術展
  • Embedded Technology 2016
  • IoT Technology 2016
ET West
カンファレンス情報 Conference Information

  プライベートカンファレンス

丸紅情報システムズ株式会社

11/19(木)10:30-17:00 会議センター3階[303]

PMJ-1 11/19(木)10:30-12:00 会議センター3階[303] » 事前登録フォームへ

欧州自動車業界における静的解析ツールの最新活用事例 通訳有

Steve HowardRogue Wave Software. Inc. Sales Engineer

PMJ-2 11/19(木)14:00-15:45 会議センター3階[303] » 事前登録フォームへ

Runtime Verification技術が可能にする割込み干渉検証 14:00-14:15

玉置 卓也丸紅情報システムズ株式会社 製造ソリューション事業本部 デバイスソリューション部 副部長

Runtime Verificationは、フォーマル検証・静的検証・動的検証 と何が違う? 14:15-15:45  通訳有

Grigore Rosuイリノイ大学アーバナ・シャンペーン校教授 兼 Runtime Verification. Inc. President and CEO

PMJ-3 11/19(木)16:00-17:00 会議センター3階[303] » 事前登録フォームへ

レースコンディション・割込み等の重要ソフトウエア不具合の検出へのRuntime Verification という新技術 16:00-17:00  通訳有

Philip DaianRuntime Verification. Inc. The Lead Software Engineer

出展社の方へ

郵送宛先変更・郵送停止はこちらから

組込み総合技術展 Video report

主 催

主催:一般社団法人組込みシステム技術協会

企画・推進

企画・推進:株式会社JTBコミュニケーションデザイン

お問い合わせ

ET 事務局

Tel.03-5657-0756
etinfo@jasa.or.jp

IoT Technology 事務局

Tel.03-5657-0756
iotinfo@jasa.or.jp

  • 併催イベント公式サイト

    ETロボコン2016
  • 企画イベント

  • OpenEL
  • るるぶ
  • JAPANiCAN