Towards Logical Architecture and Formal Analysis of Dependencies between Services

Maria Spichkova, Heinrich Schmidt. Towards Logical Architecture and Formal Analysis of Dependencies between Services. In 2014 Asia-Pacific Services Computing Conference, APSCC 2014, Fuzhou, Fu Jian, China, December 4-6, 2014. pages 121-128, IEEE, 2014. [doi]

Abstract

Abstract is missing.