Sign in
Specification-Based Monitoring in C++.
Klaus Havelund
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