Dependability certification of services: a model-based approach

Claudio Agostino Ardagna, Ravi Jhawar, Vincenzo Piuri. Dependability certification of services: a model-based approach. Computing, 97(1):51-78, 2015. [doi]

Abstract

Abstract is missing.