Login / Signup
Institution-based foundations for verification in the context of model-driven engineering.
Daniel Calegari
Nora Szasz
Published in:
Sci. Comput. Program. (2015)
Keyphrases
</>
model driven engineering
model driven
data mining
artificial intelligence
context aware
ami systems