Forms/Format 2010 : formal methods for automation and safety in railway and automotive systems
FORMS/FORMAT 2010
FORMS-FORMAT 2010
FORMS/FORMAT 2010 ; 8
;
2010
;
Braunschweig
FORMS/FORMAT 2010 ; 8 (Braunschweig) : 2010.12.02-03
Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems ; 8
;
2010
;
Braunschweig
Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems ; 8 (Braunschweig) : 2010.12.02-03
2011
XI, 256 S.
Ill., graph. Darst.
Literaturangaben
Digital preservation by Badische Landesbibliothek
Conference Proceedings
English
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2014
|