C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Virtual execution of AADL models via a translation into synchronous programs.
Erwan Jahier
Nicolas Halbwachs
Pascal Raymond
Xavier Nicollin
David Lesens
Published in:
EMSOFT (2007)
Keyphrases
</>
probabilistic model
experimental data
machine translation
execution model
database
model selection