Formal Methods in the Evaluation of a Safe Driver Machine Interface
Cím | Formal Methods in the Evaluation of a Safe Driver Machine Interface |
Közlemény típusa | Conference Paper |
Kiadás éve | 2008 |
Szerzők | Majzik, I., Bondavalli, A., Klapka, S., Madsen, T. K., and Iovino, D. |
Szerkesztő | Tarnai, G., and Schnieder, E. |
Konferencia neve | Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008) |
Kiadás dátuma | 2008 |
Kiadó | L'Harmattan Kiadó |
Konferencia helyszíne | Budapest |
URL | http://mycite.omikk.bme.hu/doc/39776.pdf |