A Formal Approach to System Integration
6th, International conference on integrated power electronics systems; CIPS 2010 ; 2010 ; Nuremberg, Germany
2010-01-01
6 pages
Also held on CD-ROM. Held in Cage
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
System Integration & Validation with Formal Methods in ATC Applications
British Library Conference Proceedings | 2000
|A formal approach to railway signalling
Tema Archiv | 1990
|The PERF Approach for Formal Verification
British Library Conference Proceedings | 2016
|Formal Observational Approach to Staged Loading
Transportation Research Record | 1997
|Formal Observational Approach to Staged Loading
Online Contents | 1997
|