Login
Register
Submit a Paper
Propose a Special lssue
Open Access
ARTICLE
Graphical Transformation of OWL Ontologies to Event-B Formal Models
Department of Computer Science, College of Computers and Information Technology, Taif University, Taif, 21944, Saudi Arabia
* Corresponding Author: Eman H. Alkhammash. Email:
Downloads
Citation Tools
