Műegyetemi Digitális Archívum
    • magyar
    • English
  • English 
    • magyar
    • English
  • Login
View Item 
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • BME PA dokumentumai
  • View Item
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • BME PA dokumentumai
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Formal Methods in the Evaluation of a Safe Driver Machine Interface

Thumbnail
View/Open
39776.pdf (202.6Kb)
Metadata
Show full item record
Link to refer to this document:
http://hdl.handle.net/10890/2995
Collections
  • BME PA dokumentumai [3588]
Title
Formal Methods in the Evaluation of a Safe Driver Machine Interface
Author
Majzik, István
A Bondavalli
S Klapka
T K Madsen
D Iovino
Date of issue
2008
Publisher
L'Harmattan Kiadó
Language
en
Identifiers
MTMT: 2628977
Title of the container document
Formal Methods for Automation and Safety in Railway and Automotive Systems
ISBN, e-ISBN
978-963-236-138-3
Document type
könyvrészlet
Document genre
konferenciaközlemény

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV