Formal Methods in the Evaluation of a Safe Driver Machine Interface

View/ Open
Metadata
Show full item record
Link to refer to this document:
Collections
- BME PA dokumentumai [3588]
- Title
- Formal Methods in the Evaluation of a Safe Driver Machine Interface
- Author
- Majzik, István
- A Bondavalli
- S Klapka
- T K Madsen
- D Iovino
- Date of issue
- 2008
- Publisher
- L'Harmattan Kiadó
- Language
- en
- Identifiers
- MTMT: 2628977
- Title of the container document
- Formal Methods for Automation and Safety in Railway and Automotive Systems
- ISBN, e-ISBN
- 978-963-236-138-3
- Document type
- könyvrészlet
- Document genre
- konferenciaközlemény