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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.