Formal Verification of Service Level Agreements Through Distributed Monitoring

Behrooz Nobakht, Stijn de Gouw, Frank S. de Boer. Formal Verification of Service Level Agreements Through Distributed Monitoring. In Schahram Dustdar, Frank Leymann, Massimo Villari, editors, Service Oriented and Cloud Computing - 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings. Volume 9306 of Lecture Notes in Computer Science, pages 125-140, Springer, 2015. [doi]

Authors

Behrooz Nobakht

This author has not been identified. Look up 'Behrooz Nobakht' in Google

Stijn de Gouw

This author has not been identified. It may be one of the following persons: Look up 'Stijn de Gouw' in Google

Frank S. de Boer

This author has not been identified. It may be one of the following persons: Look up 'Frank S. de Boer' in Google