アイティアクセス取扱のメーカーAdaCoreがプレスを発表

アイティアクセス取扱のメーカーAdaCoreより、プレスを発表しました。

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

[日本語]

DENSO-SPARK-jp

 

[English]

DENSO-SPARK-English

 

[AdaCore社サイト]