Proving properties of Simulink models that include discrete valued functions
Der Nachweis der Eigenschaften von Simulink Modellen mit Funktionen mit diskreten Werten.
2016
7 pages
SAE-Paper;2016-01-0129;2016
Miscellaneous
English
Proving Properties of Simulink Models that Include Discrete Valued Functions
British Library Conference Proceedings | 2016
|Proving Properties of Simulink Models that Include Discrete Valued Functions
SAE Technical Papers | 2016
|AIAA | 2007
|Building Simulink Linear Models
AIAA | 2007
|