On Monitoring Concurrent Systems with TLA: An Example.
Nicolas RivierreFrançois HornFrédéric Dang TranPublished in: ACSD (2005)
Keyphrases
- concurrent systems
- temporal logic
- model checking
- process algebra
- distributed systems
- transition systems
- real time
- monitoring system
- early warning
- petri net
- belief revision
- knowledge base
- production system
- formal specification
- intensive care
- learning algorithm
- finite state
- condition monitoring
- abnormal events
- information retrieval
- data mining
- database