Derivation of Event-B Models from OWL Ontologies

  • Eman H. Alkhammash
  • MATEC Web of Conferences, January 2016, EDP Sciences
  • DOI: 10.1051/matecconf/20167604008

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1051/matecconf/20167604008