![](/img/cover-not-exists.png)
[IEEE 2018 IEEE 11th Conference on Service-Oriented Computing and Applications (SOCA) - Paris, France (2018.11.20-2018.11.22)] 2018 IEEE 11th Conference on Service-Oriented Computing and Applications (SOCA) - A Formal Approach for Cloud Composite Services Verification
Lahouij, Aida, Hamel, Lazhar, Graiet, Mohamed, El Malki, MohammedYear:
2018
Language:
english
DOI:
10.1109/SOCA.2018.00031
File:
PDF, 303 KB
english, 2018