お知らせ・プレス

News

ご挨拶

株式会社デンソーが長崎県立大学との自動車関連の研究プロジェクトでAdaCore社SPARKを採用「Freedom from Interference」を実証するためにフォーマルメソッドを適用

AdaCore プレス

[日本語][English][AdaCore社サイト]

メールマガジン

「ご登録いただいた内容は、弊社の掲げる「個人情報保護方針」に沿って管理し、本件に関するお問い合わせ、お申込み等いただいた内容への対応のために利用する場合がございます。なお、お客様の同意なく目的外の利用や第三者への開示、提供を行うことはございません。」

CONTACT

まずはお気軽に
お問い合わせください!

PAGE TOP