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).
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Renan Leroux, Marc Pantel, Ileana Ober and Jean-Michel Bruel Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 11246 429 (2018) https://doi.org/10.1007/978-3-030-03424-5_29
A study on multi-domain modeling and simulation of precision high-speed servo numerical control punching press
Teng Xu, Qin-Xiang Xia, Jinchuan Long and Xiaobin Long Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering 232(7) 830 (2018) https://doi.org/10.1177/0959651818762945