Konferenzschrift | Kongress
Forms - Format 2010 : formal methods for automation and safety in railway and automotive systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642142604
- Dimensions
-
24 cm
- Extent
-
XI, 256 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Keyword
-
Eisenbahnverkehr
Eisenbahnsignalanlage
Verkehrsleitsystem
Sicherheitsanalyse
Formale Methode
Straßenverkehr
Verkehrsleitsystem
Verkehrssicherheit
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2011
- Contributor
- 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:57 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Schnieder, Eckehard
- Springer
Time of origin
- 2011
Other Objects (12)
Formal methods for automation and safety in railway and automotive systems : proceedings of Symposium FORMS/FORMAT 2007, Braunschweig, Germany, 25th and 26th January, 2007
Automation in automotive industries : recent developments
Automation and its employment effects: A literature review of automotive and garment sectors
New Formal Methods for Automotive Configuration
Remote control of automation : workload, fatigue, and performance in unattended railway operation
Automation in automotive security by using attacker privileges
Formal knowledge representations for textual automotive system requirements and tests
Returns to formal, non-formal and informal training for workers at risk of automation
Returns to Formal, Non-Formal and Informal Training for Workers at Risk of Automation
Effects of Automation on Mexican Automotive Employment: 2013–2022
Skill formation, automation and governance: comparing German and Korean automotive manufacturers in Central-Eastern Europe
Skill formation, automation and governance: comparing German and Korean automotive manufacturers in Central-Eastern Europe
Formal methods for automation and safety in railway and automotive systems : proceedings of Symposium FORMS/FORMAT 2007, Braunschweig, Germany, 25th and 26th January, 2007
Automation in automotive industries : recent developments
Automation and its employment effects: A literature review of automotive and garment sectors
New Formal Methods for Automotive Configuration
Remote control of automation : workload, fatigue, and performance in unattended railway operation
Automation in automotive security by using attacker privileges
Formal knowledge representations for textual automotive system requirements and tests
Returns to formal, non-formal and informal training for workers at risk of automation
Returns to Formal, Non-Formal and Informal Training for Workers at Risk of Automation
Effects of Automation on Mexican Automotive Employment: 2013–2022
Skill formation, automation and governance: comparing German and Korean automotive manufacturers in Central-Eastern Europe
Skill formation, automation and governance: comparing German and Korean automotive manufacturers in Central-Eastern Europe
Formal methods for automation and safety in railway and automotive systems : proceedings of Symposium FORMS/FORMAT 2007, Braunschweig, Germany, 25th and 26th January, 2007
Automation in automotive industries : recent developments
Automation and its employment effects: A literature review of automotive and garment sectors
New Formal Methods for Automotive Configuration
Remote control of automation : workload, fatigue, and performance in unattended railway operation
Automation in automotive security by using attacker privileges
Formal knowledge representations for textual automotive system requirements and tests
Returns to formal, non-formal and informal training for workers at risk of automation
Returns to Formal, Non-Formal and Informal Training for Workers at Risk of Automation
Effects of Automation on Mexican Automotive Employment: 2013–2022
Skill formation, automation and governance: comparing German and Korean automotive manufacturers in Central-Eastern Europe