Login / Signup

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