Login / Signup
System Monitoring with a Five-valued LTL.
Ming Chai
Bernd-Holger Schlingloff
Published in:
J. Multiple Valued Log. Soft Comput. (2016)
Keyphrases
</>
monitoring system
temporal logic
model checking
real time
decision support
early warning
bounded model checking
database
databases
information retrieval
information systems
website
state space
abnormal events
linear temporal logic