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:

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

Model and Data Engineering

Linda Mohand-Oussaid and Idir Ait-Sadoune
Lecture Notes in Computer Science, Model and Data Engineering 10563 153 (2017)
DOI: 10.1007/978-3-319-66854-3_12
See this article

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)
DOI: 10.1007/978-3-319-91271-4_5
See this article

Model and Data Engineering

Idir Ait-Sadoune and Linda Mohand-Oussaid
Lecture Notes in Computer Science, Model and Data Engineering 11815 140 (2019)
DOI: 10.1007/978-3-030-32065-2_10
See this article

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

Eman Alkhammash
Soft Computing (2020)
DOI: 10.1007/s00500-020-04688-z
See this article