Author:
Masson Lola,Guiochet Jérémie,Waeselynck Hélène,Cabrera Kalou,Cassel Sofia,Törngren Martin
Publisher
Springer International Publishing
Reference21 articles.
1. NuSMV home page.
http://nusmv.fbk.eu/
. Accessed Nov 2017
2. Safety Monitoring Framework. LAAS-CNRS Project.
https://www.laas.fr/projects/smof
. Accessed Dec 2017
3. Adam, S., Larsen, M., Jensen, K., Schultz, U.P.: Rule-based dynamic safety monitoring for mobile robots. J. Softw. Eng. Robot. 7, 120–141 (2016)
4. Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secur. Comput. 1, 11–33 (2004)
5. Delgado, N., Gates, A.Q., Roach, S.: A taxonomy and catalog of runtime software-fault monitoring tools. Trans. Softw. Eng. 30, 859–872 (2004)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献