Login / Signup
Integrating Formal Methods with Model-Driven Engineering.
Opeyemi Adesina
Published in:
MoDELS (Doctoral Symposium) (2015)
Keyphrases
</>
formal methods
model driven engineering
software engineering
model checking
formal analysis
knowledge based systems
safety critical
model driven
model driven architecture
artificial intelligence
formal specification
modeling language
software development
reverse engineering