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: 2008
Publisher: L'Harmattan Kiadó
Language: en
Egyéb azonosítók: MTMT: 2628977
A cikket/könyvrészletet tartalmazó dokumentum címe: Formal Methods for Automation and Safety in Railway and Automotive Systems
ISBN, e-ISBN: 978-963-236-138-3
Dokumentumtípus: könyvrészlet
Műfaj: konferenciaközlemény