Model Extraction for ARINC 653 Based Avionics Software.

Pedro de la Cámara María-del-Mar Gallardo Pedro Merino

Published in: SPIN (2007)

Keyphrases

computational model
probabilistic model
formal model
closed form
mathematical model
database
probability distribution
management system
theoretical analysis
software systems
computer systems
sensitivity analysis
parameter estimation
software development
artificial neural networks
expert systems
feature selection