アイティアクセス取扱のメーカーAdaCoreがプレスを発表
アイティアクセス取扱のメーカーAdaCoreより、プレスを発表しました。
~株式会社デンソーが長崎県立大学との自動車関連の研究プロジェクトでAdaCore社SPARKを採用~
「Freedom from Interference」を実証するためにフォーマルメソッドを適用
DENSO-SPARK-English
News
アイティアクセス取扱のメーカーAdaCoreより、プレスを発表しました。
~株式会社デンソーが長崎県立大学との自動車関連の研究プロジェクトでAdaCore社SPARKを採用~
「Freedom from Interference」を実証するためにフォーマルメソッドを適用
DENSO-SPARK-English