Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models.

Jérôme Hugues Christophe Garion

Published in: HILT (2014)

Keyphrases

statistical models
complex systems
experimental data
generation method
genetic algorithm
learning algorithm
database systems
machine learning algorithms
statistical model
computational models
classification models