Proving Properties of Simulink Models that Include Discrete Valued Functions
SAE 2016 World Congress and Exhibition
2016-01-01
ALL-ALL
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Proving properties of Simulink models that include discrete valued functions
Automotive engineering | 2016
|Proving Properties of Simulink Models that Include Discrete Valued Functions
SAE Technical Papers | 2016
|AIAA | 2007
|Building Simulink Linear Models
AIAA | 2007
|