Specification-Based Monitoring in C++.

Published in: ISoLA (1) (2022)

Keyphrases

databases
monitoring system
real time
database
relational databases
formal methods
early warning
image processing
reactive systems
situational awareness
formal specification
abnormal events
health monitoring
formal verification
business rules
data exchange
high level
decision making