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