Login / Signup
SimCheck: An Expressive Type System for Simulink.
Pritam Roy
Natarajan Shankar
Published in:
NASA Formal Methods (2010)
Keyphrases
</>
control system
control algorithm
real time
databases
metadata
decision trees
case study
natural language
special case
fault detection