CoCoSim : Contract-based Compositional Verification of Simulink Models
NASA-Boeing Autonomy V&V Project: NASA V&V tool demonstration ; 2021 ; Virtual Presentation, US
Miscellaneous
No indication
English
Automatic validation of Simulink/Stateflow models - formal verification of functional requirements
Automotive engineering | 2005
|Model database for complex simulink models
Tema Archive | 2005
|Laxity release optimization for Simulink models
Automotive engineering | 2014
|