AdaCore announces the release of QGen 2.1.0, a qualifiable and customizable code generator and model verifier for Simulink and Stateflow models. This tool can generate MISRA C and SPARK/Ada source ...
The product is seamlessly integrated into B&R's developing environment - Automation Studio - as well as the products from the company The MathWorks, thereby allowing trouble-free integration of ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する