Derivation of Event-B Models from OWL Ontologies
Alkhammash, Eman H., Mastorakis, N., Mladenov, V., Bulucea, A.Volume:
76
Year:
2016
Journal:
MATEC Web of Conferences
DOI:
10.1051/matecconf/20167604008
File:
PDF, 512 KB
2016