A Study of the AADL Mode Change Protocol.

Dominique Bertrand Anne-Marie Déplanche Sébastien Faucou Olivier H. Roux

Published in: ICECCS (2008)

Keyphrases

empirical studies
real time
databases
real world
knowledge base
evolutionary algorithm
statistical analysis
lightweight
theoretical framework
simulation study
formal analysis