Validation of Control Software by Search-Based Testing Using Formal Methods
SAE 2016 World Congress and Exhibition
2016-01-01
ALL-ALL
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Validation of Control Software by Search-Based Testing Using Formal Methods
SAE Technical Papers | 2016
|Formal Validation of Aerospace Software
British Library Conference Proceedings | 2013
|Integrated Formal Verification and Validation of Safety Critical Software
British Library Conference Proceedings | 1993
|Formal methods in software engineering
Tema Archive | 1990
|