Formal Reliability Models for Web Services

Raffaela Mirandola, Pasqualina Potena, Elvinia Riccobene, Patrizia Scandurra. Formal Reliability Models for Web Services. In Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger, editors, Correct Software in Web Applications and Web Services. pages 229-256, Springer, 2015. [doi]

Abstract

Abstract is missing.