FORMAL METHODS IN THE EVALUATION OF A SAFE DRIVER-MACHINE INTERFACE

BibTex:
Research Area:	Uncategorized	Year:	2008
Type of Publication:	In Proceedings
Authors:	I. Majzik; Andrea Bondavalli; S. Klapka; T. K. Madsen; D. Iovino

Book title:	FORMS-FORMAT 2008


Month:	October


@conference{FORMSBonda08-FORMSFORMAT-225, author = "I. Majzik and Bondavalli, Andrea and S. Klapka and T.K. Madsen and D. Iovino", booktitle = "FORMS-FORMAT 2008", month = "October", title = "{FORMAL} {METHODS} {IN} {THE} {EVALUATION} {OF} {A} {SAFE} {DRIVER}-{MACHINE} {INTERFACE}", year = "2008", }
Full text: file-FORMSBonda08-FORMSFORMAT-225.pdf