Monitoring Assumptions in Assume-Guarantee Contracts.

Oleg Sokolsky Teng Zhang Insup Lee Michael McDougall

Published in: PrePost@IFM (2016)

Keyphrases

monitoring system
real time
supply chain
simplifying assumptions
multiscale
hidden markov models
condition monitoring
complex event processing