FORMS/FORMAT 2014 : 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems ; [30.09.2014 - 02.10.2014]
FORMS/FORMAT 2014 ; 10
;
2014
;
Braunschweig
FORMS/FORMAT 2014 ; 10 (Braunschweig) : 2014.09.30-10.02
Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems ; 10
;
2014
;
Braunschweig
Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems ; 10 (Braunschweig) : 2014.09.30-10.02
2014
XIV, 333 S.
Ill., graph. Darst.
Literaturangaben
Langzeitarchivierung durch Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
Konferenzband
Englisch
BKL: | 50.20 Automatisierungstechnik / 50.17 Sicherheitstechnik / 55.20 Straßenfahrzeugtechnik / 55.30 Schienenfahrzeugtechnik, Eisenbahntechnik | |
DDC: | 629.040289 |
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2014
|GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2012
|