【出展情報】第7回 自動車機能安全カンファレンス
皆さま、こんにちは。
IDAJの中井です。
12月5日(木)・6日(金)、御茶ノ水ソラシティカンファレンスセンターで開催されるイベントで講演・展示をいたしますのでご紹介させていただきます。
主催: 株式会社インプレス
共催:一般財団法人日本自動車研究所(JARI)/プログラム委員会
- デモ展示コーナーにて「ANSYS SCADE」、「ANSYS medini analyze」、「xMOD」、「MBDプロセス構築サービス」をご紹介します。
- 5日(木) 15:35~15:55 A会場 にて弊社担当者が以下の題目で発表します。
「形式言語モデルを活用した効率的なソフトウェア開発」
ソフトウェアの複雑化にともない,検証工程の効率化が益々重量となっている。本講演では,ソフトウェアの振る舞いをモデル化するモデリング言語に形式言語を用いることにより可能となる検証工程の効率化について紹介する。
エンジニアやコンサルタントが常駐しておりますので、ご来場の際は、ぜひ弊社ブースへもお立ち寄りください。
製品や発表内容にご興味がございましたら、どうぞお気軽に下記までご連絡ください。お待ち申し上げております。
■お問い合わせ先
株式会社 IDAJ 営業部
E-mail:info@idaj.co.jp
TEL: 045-683-1990