• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Virtual execution of AADL models via a translation into synchronous programs.

Erwan JahierNicolas HalbwachsPascal RaymondXavier NicollinDavid Lesens
Published in: EMSOFT (2007)
Keyphrases
  • probabilistic model
  • experimental data
  • machine translation
  • execution model
  • database
  • model selection