![](/img/cover-not-exists.png)
[IEEE 2016 13th International Conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology (ECTI-CON) - Chiang Mai, Thailand (2016.6.28-2016.7.1)] 2016 13th International Conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology (ECTI-CON) - Formal verification of cloud orchestration design with TOSCA and BPEL
Chareonsuk, Warun, Vatanawood, WiwatYear:
2016
Language:
english
DOI:
10.1109/ECTICon.2016.7561358
File:
PDF, 272 KB
english, 2016