Using model-based analysis in certification of critical software-intensive systems

Frank Ortmeier, Simon Struck, Michael Lipaczewski. Using model-based analysis in certification of critical software-intensive systems. In Stefan Jähnichen, Bernhard Rumpe, Holger Schlingloff, editors, Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar - 2. März 2012 in Berlin. Volume 199 of LNI, pages 155-162, GI, 2012. [doi]

@inproceedings{OrtmeierSL12,
  title = {Using model-based analysis in certification of critical software-intensive systems},
  author = {Frank Ortmeier and Simon Struck and Michael Lipaczewski},
  year = {2012},
  url = {http://subs.emis.de/LNI/Proceedings/Proceedings199/article6672.html},
  researchr = {https://researchr.org/publication/OrtmeierSL12},
  cites = {0},
  citedby = {0},
  pages = {155-162},
  booktitle = {Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar - 2. März 2012 in Berlin},
  editor = {Stefan Jähnichen and Bernhard Rumpe and Holger Schlingloff},
  volume = {199},
  series = {LNI},
  publisher = {GI},
  isbn = {978-3-88579-293-2},
}