Proving Compliance of Implementation Models to Safety Specifications
Markus Oertel, Omar Kacimi, Eckard Boede
Computer Safety, Reliability, and Security
9 / 2014
inproceedings
Springer International Publishing
Lecture Notes in Computer Science
97-107
Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier
8696
