C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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