Formal Methods in the Evaluation of a Safe Driver Machine Interface

CímFormal Methods in the Evaluation of a Safe Driver Machine Interface
Közlemény típusaConference Paper
Kiadás éve2008
SzerzőkMajzik, I., Bondavalli, A., Klapka, S., Madsen, T. K., and Iovino, D.
SzerkesztőTarnai, G., and Schnieder, E.
Konferencia neveFormal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008)
Kiadás dátuma2008
KiadóL'Harmattan Kiadó
Konferencia helyszíneBudapest
URLhttp://mycite.omikk.bme.hu/doc/39776.pdf