Login / Signup
Formal analysis of empirical traces in incident management.
Mark Hoogendoorn
Catholijn M. Jonker
Peter-Paul van Maanen
Alexei Sharpanskykh
Published in:
Reliab. Eng. Syst. Saf. (2008)
Keyphrases
</>
formal analysis
incident management
situation awareness
service providers
agent model
formal methods
information technology infrastructure
service quality
database
software engineering
ban logic
real time
expert systems
object oriented
low cost