Formal Methods in the Evaluation of a Safe Driver Machine Interface

Cím és alcím: Formal Methods in the Evaluation of a Safe Driver Machine Interface
Szerző: Majzik, István; A Bondavalli; S Klapka; T K Madsen; D Iovino
Megjelenés ideje: 2008
Kiadó: L'Harmattan Kiadó
Nyelv: 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