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]

Authors

Maria Spichkova

This author has not been identified. It may be one of the following persons: Look up 'Maria Spichkova' in Google

Heinrich Schmidt

This author has not been identified. Look up 'Heinrich Schmidt' in Google