Article references

Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

Derivation of Event-B Models from OWL Ontologies

Eman H. Alkhammash

MATEC Web Conf., 76 (2016) 04008

Published online: 2016-10-21

DOI: https://doi.org/10.1051/matecconf/20167604008

This article has been cited by the following article(s):

Graphical Transformation of OWL Ontologies to Event-B Formal Models

Eman H. Alkhammash
Computers, Materials & Continua 70 (2) 3733 (2022)
https://doi.org/10.32604/cmc.2022.015987

Mohamed Ould Bah, Zakaryae Boudi, Mohamed Toub, Abderrahim Ait Wakrime and Ghassane Aniba
455 (2021)
https://doi.org/10.1109/ICSC50631.2021.00080

Formal modelling of OWL ontologies-based requirements for the development of safe and secure smart city systems

Eman Alkhammash
Soft Computing 24 (15) 11095 (2020)
https://doi.org/10.1007/s00500-020-04688-z

Idir Ait-Sadoune and Linda Mohand-Oussaid
11815 140 (2019)
https://doi.org/10.1007/978-3-030-32065-2_10

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau and Marc Frappier
Lecture Notes in Computer Science, Abstract State Machines, Alloy, B, TLA, VDM, and Z 10817 55 (2018)
https://doi.org/10.1007/978-3-319-91271-4_5

Model and Data Engineering

Linda Mohand-Oussaid and Idir Ait-Sadoune
Lecture Notes in Computer Science, Model and Data Engineering 10563 153 (2017)
https://doi.org/10.1007/978-3-319-66854-3_12