Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications
Eissler, Stefan and Scheidler, Christian and Josko, Bernhard and Sandmann, Guido and Stroop, Joachim
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-20, 2005, Proceedings
07 / 2005
3-540-27882-6
inproceedings
Springer Verlag
Lecture Notes in Computer Science 3582 / 2005
533-536
Springer Verlag
