アイティアクセス取扱のメーカーAdaCoreより、プレスを発表しました
Collins Aerospaceがモデルベース開発を効率化するために AdaCore QGenコード・ジェネレータを採用
AdaCore QGenコード・ジェネレータと最新のTQL-1エンタープライズ・クォリフィケーション・パッケージは、Simulink®/Stateflow®モデル対応で、検証コストを大幅に削減Collins_QGen_ release_J - 0720-1
News
Collins Aerospaceがモデルベース開発を効率化するために AdaCore QGenコード・ジェネレータを採用
AdaCore QGenコード・ジェネレータと最新のTQL-1エンタープライズ・クォリフィケーション・パッケージは、Simulink®/Stateflow®モデル対応で、検証コストを大幅に削減Collins_QGen_ release_J - 0720-1