AdaCore stellt Code-Generator QGen vor
Der anpassbare Code-Generator und Modellüberprüfer für Simulink- und Stateflow-Modelle wurde speziell für die Qualifizierung gemäß den Standards zur Sicherheits-Zertifizierung entwickelt. AdaCore hat im Zuge der dieser Tage …
Der anpassbare Code-Generator und Modellüberprüfer für Simulink- und Stateflow-Modelle wurde speziell für die Qualifizierung gemäß den Standards zur Sicherheits-Zertifizierung entwickelt. AdaCore hat im Zuge der dieser Tage …