【AdaCore ウェビナー申込ページ】

【開催ウェビナー名】

形式検証手法を用いてソフトウェアの安全性、信頼性を向上、JTEKT社の電動パワステへの形式検証SPARK Pro応用事例のご紹介

【開催日時】

日時：2021年6月30日（水）　14:00-14:45

 

以下ご記入の上、登録ボタンを押してください。

    御社名（必須）

    お名前（必須）

    ふりがな（必須）

    ご所属（必須）

    会社郵便番号（必須）

    会社住所（必須）

    電話番号（必須）

    メールアドレス（必須）

    【個人情報の利用目的】
    アイティアクセス株式会社（以下、弊社）は上記でご記入いただいた情報を、下記の目的の範囲内で利用いたします。お客様の同意なく、情報の収集、目的外の利用を行うことはありません。その他、個人情報の取り扱いについては弊社個人情報保護方針（http://www.itaccess.co.jp/privacy/）に従うものとします。
    ・弊社取扱製品および関連製品の販売・営業活動のため
    ・弊社取扱製品および関連製品サービス提供のため
    ・弊社取扱製品および関連製品のマーケティング活動（セミナーおよびイベント等のPR活動ならびにニュースレターによるご案内等）のため
    ・その他弊社の営業活動に関連する行為のため

    【AdaCore社への情報提供】
    弊社は、以下のお客様の同意をもって、上記でご記入いただいた情報をAdaCore社にも提供させていただきます。同意頂ける場合は下記「はい」のチェックボックスをチェックの上「登録」ボタンの押下ををお願いいたします。

    確認画面は表示されません。上記内容にて送信しますがよろしいですか？（必須）
    はい