Experiences in integrating auto-translated state-chart designs for model-checking
Workshop on Model Checking for Dependable Software - Intensive Systems
22.06.2003
Aufsatz (Konferenz)
Keine Angabe
Englisch
Engineering Index Backfile | 1919
|Applied Bounded Model Checking for Interlocking System Designs
British Library Conference Proceedings | 2014
|Checking designs of recent Toyota cars
Kraftfahrwesen | 2001
|Checking Designs of Recent Toyota Cars
Online Contents | 2001
|Integrating Formal Model Checking with the RTEdge™ AADL Microkernel
SAE Technical Papers | 2011
|