FORMAL METHODS IN THE EVALUATION OF A SAFE DRIVER-MACHINE INTERFACE
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 | ||||
BibTex: |
|||||
Full text:
![]() |