形式検証手法を用いてソフトウェアの安全性、信頼性を向上、JTEKT社の電動パワステへの形式検証SPARK Pro応用事例のご紹介
以下ご記入の上、登録ボタンを押してください。
御社名(必須)
お名前(必須)
ふりがな(必須)
ご所属(必須)
会社郵便番号(必須)
会社住所(必須)
電話番号(必須)
メールアドレス(必須)
【個人情報の利用目的】 アイティアクセス株式会社(以下、弊社)は上記でご記入いただいた情報を、下記の目的の範囲内で利用いたします。お客様の同意なく、情報の収集、目的外の利用を行うことはありません。その他、個人情報の取り扱いについては弊社個人情報保護方針(https://www2.itaccess.co.jp/cms/privacy/)に従うものとします。 ・弊社取扱製品および関連製品の販売・営業活動のため ・弊社取扱製品および関連製品サービス提供のため ・弊社取扱製品および関連製品のマーケティング活動(セミナーおよびイベント等のPR活動ならびにニュースレターによるご案内等)のため ・その他弊社の営業活動に関連する行為のため
【AdaCore社への情報提供】 弊社は、以下のお客様の同意をもって、上記でご記入いただいた情報をAdaCore社(アメリカ・フランス)にも提供させていただきます。同意頂ける場合は下記「はい」のチェックボックスをチェックの上「登録」ボタンの押下ををお願いいたします。
確認画面は表示されません。上記内容にて送信しますがよろしいですか?(必須) はい