Media type: E-Article Title: Formal Methods for Industrial Critical Systems: Formal Verification of Industrial Critical Software Contributor: Petit-Doche, Marielle; Breton, Nicolas; Courbis, Roméo; Fonteneau, Yoann; Güdemann, Matthias Published: Springer International Publishing, 2015 Published in: Formal Methods for Industrial Critical Systems (2015), Seite 1-11 Language: Not determined DOI: 10.1007/978-3-319-19458-5_1 ISBN: 9783319194578; 9783319194585 ISSN: 0302-9743; 1611-3349 Origination: Footnote: