Formal Methods in the Evaluation of a Safe Driver Machine Interface
Date
Type
könyvrészlet
Publisher
L'Harmattan Kiadó
ISBN, e-ISBN
978-963-236-138-3
Container Title
Formal Methods for Automation and Safety in Railway and Automotive Systems
Gender
konferenciaközlemény