CoCoSim : Contract-based Compositional Verification of Simulink Models
NASA-Boeing Autonomy V&V Project: NASA V&V tool demonstration ; 2021 ; Virtual Presentation, US
Sonstige
Keine Angabe
Englisch
Model database for complex simulink models
Tema Archiv | 2005
|Laxity release optimization for Simulink models
Kraftfahrwesen | 2014
|