Experiences in integrating auto-translated state-chart designs for model-checking
Workshop on Model Checking for Dependable Software - Intensive Systems
2003-06-22
Conference paper
No indication
English
Engineering Index Backfile | 1919
|Applied Bounded Model Checking for Interlocking System Designs
British Library Conference Proceedings | 2014
|Checking designs of recent Toyota cars
Automotive engineering | 2001
|Checking Designs of Recent Toyota Cars
Online Contents | 2001
|Integrating Formal Model Checking with the RTEdge™ AADL Microkernel
SAE Technical Papers | 2011
|