Exploiting Semantics and Patterns for Verification of Orchestrated Cloud Services

Francesco Moscato. Exploiting Semantics and Patterns for Verification of Orchestrated Cloud Services. In Ninth International Conference on Complex, Intelligent, and Software Intensive Systems, CISIS 2015, Santa Catarina, Brazil, July 8-10, 2015. pages 192-199, IEEE, 2015. [doi]

Authors

Francesco Moscato

This author has not been identified. Look up 'Francesco Moscato' in Google