Old Web
English
Sign In
Acemap
>
Paper
>
Rapid scenario-based simulation and model checking for embedded systems
Rapid scenario-based simulation and model checking for embedded systems
2003
Wei-Tek Tsai
Lian Yu
Ray Paul
Chun Fan
Xinxin Liu
Zhibin Cao
Keywords:
Real-time computing
Theoretical computer science
Computer science
Temporal logic
Model checking
Verification and validation
Finite-state machine
Embedded system
scenario based
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
16
Citations
NaN
KQI
[]