Collins Aerospaceがモデルベース開発を効率化するために AdaCore QGenコード・ジェネレータを採用

AdaCore QGenコード・ジェネレータと最新のTQL-1エンタープライズ・クォリフィケーション・パッケージは、Simulink®/Stateflow®モデル対応で、検証コストを大幅に削減Collins_QGen_ release_J - 0720-1

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