Login / Signup
Verification support for ARINC-653-based avionics software.
Pedro de la Cámara
J. Raúl Castro
María-del-Mar Gallardo
Pedro Merino
Published in:
Softw. Test. Verification Reliab. (2011)
Keyphrases
</>
databases
end users
computer systems
neural network
learning algorithm
software systems
data sets
decision making
user interface
decision support
design tools
software evolution
formal verification