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]

@incollection{MirandolaPRS15,
  title = {Formal Reliability Models for Web Services},
  author = {Raffaela Mirandola and Pasqualina Potena and Elvinia Riccobene and Patrizia Scandurra},
  year = {2015},
  doi = {10.1007/978-3-319-17112-8_7},
  url = {http://dx.doi.org/10.1007/978-3-319-17112-8_7},
  researchr = {https://researchr.org/publication/MirandolaPRS15},
  cites = {0},
  citedby = {0},
  pages = {229-256},
  booktitle = {Correct Software in Web Applications and Web Services},
  editor = {Bernhard Thalheim and Klaus-Dieter Schewe and Andreas Prinz and Bruno Buchberger},
  publisher = {Springer},
  isbn = {978-3-319-17112-8},
}