Formal Methods in the Evaluation of a Safe Driver Machine Interface

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