Login / Signup

Heterogeneous verification in the context of model driven engineering.

Daniel CalegariTill MossakowskiNora Szasz
Published in: Sci. Comput. Program. (2016)
Keyphrases
  • model driven engineering
  • context aware
  • model checking
  • data mining
  • knowledge management