Verification of Safety Critical Components
Tagung, Nutzfahrzeuge: Losungen fur Sicherheit, Umweltvertraglichkeit und Transporteffizienz ; 2005 ; Boblingen, Germany
2005-01-01
16 pages
Also held on CD-ROM. Includes bibliographical references. German papers with English abstracts.
Aufsatz (Konferenz)
Deutsch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Verification of safety critical components
Tema Archiv | 2005
|Verification of safety critical components
Kraftfahrwesen | 2005
|Formal Verification of Safety-Critical Aerospace Systems
IEEE | 2023
|