Login / Signup

Adding Formal Meanings to AADL with Hybrid Annex.

Ehsan AhmadYunwei DongShuling WangNaijun ZhanLiang Zou
Published in: FACS (2014)
Keyphrases
  • formal language
  • machine learning
  • multi agent
  • test cases
  • formal model
  • formal specification
  • test case generation