FORMS/FORMAT 2007 - 6th symposium : formal methods for automation and safety in railway and automotive systems ; proceedings of Symposium FORMS/FORMAT 2007, Braunschweig, Germany, 25th and 26th January, 2007
Formal methods for automation and safety in railway and automotive systems
FORMS/FORMAT 2007 ; 6 (Braunschweig): 2007.01.25-26
FORMS/FORMAT 2007 ; 6 (Braunschweig): 2007.01.25-26
Symposium of FORMS/FORMAT ; 6
Symposium of FORMS/FORMAT ; 6 (Braunschweig) : 07.01.25-26
2007
480 S.
Ill., graph. Darst.
Literaturangaben
Langzeitarchivierung durch Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
Konferenzband
Deutsch
BKL: | 55.84 Straßenverkehr / 55.34 Bahnbetriebstechnik | |
DDC: | 625.100289 |