Login



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:

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web