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]

@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},
}