Safer asynchronous runtime monitoring using compensations.

Christian Colombo Gordon J. Pace Patrick Abela

Published in: Formal Methods Syst. Des. (2012)

Keyphrases

monitoring system
real time
early warning
artificial intelligence
website
real world
search algorithm
cloud computing
condition monitoring
activity monitoring