リリース
企業のプレスリリースをお届けするサービス。
企業のプレスリリースをお届けするサービス。
3件中 1 〜 3件を表示
[前の20件] 1[次の20件]
株式会社IHIが自動運転トラックのシステム・ソフトウェア開発にAdaCoreの「QGen」モデルベース・エンジニアリング・ツールスイートを採用
Ada Core Technologies Inc. (PR TIMES) 2021年12月13日(月)配信
Collins Aerospaceがモデルベース開発を効率化するためにAdaCore QGenコード・ジェネレータを採用
Ada Core Technologies Inc. (PR TIMES) 2021年07月21日(水)配信
【開発者必見】ソフトウェアの信頼性を向上させる形式検証手法を用いたJTEKT社の電動パワステへの形式検証SPARK Pro応用事例紹介ウェビナー開催
Ada Core Technologies Inc. (PR TIMES) 2021年06月02日(水)配信
3件中 1 〜 3件を表示
[前の20件] 1[次の20件]