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 |
