Validation of Control Software by Search-Based Testing Using Formal Methods
SAE 2016 World Congress and Exhibition
01.01.2016
ALL-ALL
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal Validation of Aerospace Software
| British Library Conference Proceedings | 2013
Avionics Self-adaptive Software: Towards Formal Verification and Validation
| Springer Verlag | 2018
Integrated Formal Verification and Validation of Safety Critical Software
| British Library Conference Proceedings | 1993
Formal methods in software engineering
| Tema Archiv | 1990