Konferenzschrift
Formal methods for automation and safety in railway and automotive systems : proceedings of Symposium FORMS/FORMAT 2007, Braunschweig, Germany, 25th and 26th January, 2007
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783937655093
- Dimensions
-
21 cm
- Extent
-
X S., S. 11 - 480
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Literaturangaben
- Event
-
Veröffentlichung
- (where)
-
Braunschweig
- (who)
-
GZVB
- (when)
-
2007
- Contributor
-
Schnieder, Eckehard
Institut für Verkehrssicherheit und Automatisierungstechnik. Braunschweig
FORMS, FORMAT (6 : 2007 : Braunschweig)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:49 PM CEST
Data provider
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
Associated
- Schnieder, Eckehard
- Institut für Verkehrssicherheit und Automatisierungstechnik. Braunschweig
- FORMS, FORMAT (6 : 2007 : Braunschweig)
- GZVB
Time of origin
- 2007