Login / Signup

Ontology-Based Model Driven Engineering for Safety Verification.

Konstantinos MokosGeorgios MeditskosPanagiotis KatsarosNick BassiliadesVangelis 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