Structuring of Simulations as Verification Method of HMI-Specifications
Internationaler Kongress; 14, Elektronik im Kraftfahrzeug ; 2009 ; Baden-Baden, Germany
2009-01-01
10 pages
Includes bibliographical references. Text in German or English.
Aufsatz (Konferenz)
Deutsch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Structuring of simulations as verification method of HMI-specifications
Tema Archiv | 2009
|Formalizing a subset of ERTMS/ETCS specifications for verification purposes
Online Contents | 2014
|