Claudio Agostino Ardagna, Ravi Jhawar, Vincenzo Piuri. Dependability certification of services: a model-based approach. Computing, 97(1):51-78, 2015. [doi]
@article{ArdagnaJP15,
title = {Dependability certification of services: a model-based approach},
author = {Claudio Agostino Ardagna and Ravi Jhawar and Vincenzo Piuri},
year = {2015},
doi = {10.1007/s00607-013-0348-7},
url = {http://dx.doi.org/10.1007/s00607-013-0348-7},
researchr = {https://researchr.org/publication/ArdagnaJP15},
cites = {0},
citedby = {0},
journal = {Computing},
volume = {97},
number = {1},
pages = {51-78},
}