From formal specifications to QoS monitors

Sébastien Saudrais, Olivier Barais, Laurence Duchien, Noël Plouzeau. From formal specifications to QoS monitors. Journal of Object Technology, 6(11):1-20, 2007. [doi]

Abstract

Abstract is missing.