Sign in

Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA.

Yue MaJean-Pierre TalpinThierry Gautier
Published in: CIT (2010)
Keyphrases
  • high level
  • machine learning
  • mobile robot
  • formal model
  • learning algorithm
  • data model
  • human behavior
  • test case generation