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]
No reviews for this publication, yet.