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]
@inproceedings{OertelKB14,
title = {Proving Compliance of Implementation Models to Safety Specifications},
author = {Markus Oertel and Omar Kacimi and Eckard Böde},
year = {2014},
doi = {10.1007/978-3-319-10557-4_13},
url = {http://dx.doi.org/10.1007/978-3-319-10557-4_13},
researchr = {https://researchr.org/publication/OertelKB14},
cites = {0},
citedby = {0},
pages = {97-107},
booktitle = {Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings},
editor = {Andrea Bondavalli and Andrea Ceccarelli and Frank Ortmeier},
volume = {8696},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-10556-7},
}