The PERF Approach for Formal Verification
Reliability, safety, and security of railway systems: modelling, analysis, verification, and certification ; 2016 ; Paris
2016-01-01
12 pages
Aufsatz (Konferenz)
Unbekannt
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
High-Perf ormance Jet-V/STOL Development
AIAA | 1977
|B-PERFect: Applying the PERF Approach to B Based System Developments
British Library Conference Proceedings | 2017
|Aerodynamic Design of High-Perf ormance Biplane Wings
AIAA | 1975
|