AADS+: AADL Simulation Including the Behavioral Annex.

Roberto Varona-Gomez Eugenio Villar

Published in: ICECCS (2010)

Keyphrases

numerical simulations
simulation model
collision detection
real world
genetic algorithm
artificial intelligence
multiresolution
control system
software engineering
simulation study
test case generation