Proving Compliance of Implementation Models to Safety Specifications

Markus Oertel, Omar Kacimi, Eckard Böde. Proving Compliance of Implementation Models to Safety Specifications. In Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier, editors, Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings. Volume 8696 of Lecture Notes in Computer Science, pages 97-107, Springer, 2014. [doi]

Bibliographies