Formal Methods in the Evaluation of a Safe Driver Machine Interface

Megtekintés/Megnyitás

39776.pdf (202.6KB)

Dátum

2008

Szerző

Majzik, István

A Bondavalli

S Klapka

T K Madsen

D Iovino

Metadata

Teljes megjelenítés

URI

http://hdl.handle.net/10890/2995

Collections

BME PA dokumentumai [3736]