English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
FORMS/FORMAT 2012, 9th Symposium on Formal Methods for Automation and Safety in Railway and Automative Systems
Information
Publications
Export
Statistics
Options
Title
FORMS/FORMAT 2012, 9th Symposium on Formal Methods for Automation and Safety in Railway and Automative Systems
Titel Supplements
Braunschweig, 11.-13.12.2012
Hrsg
Schnieder, Eckehard
Institut
TU Braunschweig, Institut für Verkehrssicherheit und Automatisierungstechnik
Verlag
Technische Universität Braunschweig, Institut für Verkehrssicherheit und Automatisierungstechnik
Verlagsort
Braunschweig
Datum
2012
Konferenz
Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT) 2012