Formal Methods in the Evaluation of a Safe Driver Machine Interface
| Title | Formal Methods in the Evaluation of a Safe Driver Machine Interface |
| Publication Type | Conference Paper |
| Year of Publication | 2008 |
| Authors | Majzik, I., Bondavalli, A., Klapka, S., Madsen, T. K., and Iovino, D. |
| Editor | Tarnai, G., and Schnieder, E. |
| Conference Name | Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008) |
| Date Published | 2008 |
| Publisher | L'Harmattan Kiadó |
| Conference Location | Budapest |
| URL | http://mycite.omikk.bme.hu/doc/39776.pdf |
