Model-Based Analysis for Safety Critical Software.

Stefan Gulan, Jens Harnisch, Sven Johr, Roberto Kretschmer, Stefan Rieger, Rafael Zalman

Browse the full SAFECOMP paper archive.