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:

Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499

Giordano Lilli, Midhun Xavier, Etienne Le Priol, Vincent Perret, Tatiana Liakh, Roberto Oboe and Valeriy Vyatkin
IEEE Open Journal of the Industrial Electronics Society 4 417 (2023)
https://doi.org/10.1109/OJIES.2023.3321084

A systematic literature review on formal verification of software‐defined networks

Alireza Souri, Monire Norouzi, Parvaneh Asghari, Amir Masoud Rahmani and Ghazaleh Emadi
Transactions on Emerging Telecommunications Technologies 31 (2) (2020)
https://doi.org/10.1002/ett.3788