Sign in
Correct-by-construction model driven engineering composition operators.
Mounira Kezadri Hamiaz
Marc Pantel
Xavier Thirioux
Benoît Combemale
Published in:
Formal Aspects Comput. (2016)
Keyphrases
</>
model driven engineering
model driven
model driven architecture
data sets
software engineering
machine learning
access control
business processes