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