Login / Signup
Ontology-Based Model Driven Engineering for Safety Verification.
Konstantinos Mokos
Georgios Meditskos
Panagiotis Katsaros
Nick Bassiliades
Vangelis Vasiliades
Published in:
EUROMICRO-SEAA (2010)
Keyphrases
</>
model driven engineering
model driven
safety analysis
software engineering
model checking
model driven architecture
data driven
semantic web technologies
ami systems