Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
収録刊行物
-
- Lecture Notes in Computer Science
-
Lecture Notes in Computer Science 135-175, 2018
Springer International Publishing