Claudio Agostino Ardagna, Ernesto Damiani, Ravi Jhawar, Vincenzo Piuri. A model-based approach to reliability certification of services. In 6th IEEE International Conference on Digital Ecosystems and Technologies, DEST 2012, Campione d'Italia, Italy, June 18-20, 2012. pages 1-6, IEEE, 2012. [doi]
Abstract is missing.