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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. It may be one of the following persons:

Frank Ortmeier

Look up 'Frank Ortmeier' in GoogleThis author has not been identified. Look up 'Simon Struck' in GoogleThis author has not been identified. Look up 'Michael Lipaczewski' in Google

runs on WebDSL