Formal Methods in the Evaluation of a Safe Driver Machine Interface

Thumbnail
View/Open
Metadata
Show full item record
Link to refer to this document:
http://hdl.handle.net/10890/2995
Collections
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