Stephanie Challita, Faiez Zalila, Philippe Merle. Specifying Semantic Interoperability between Heterogeneous Cloud Resources with the FCLOUDS Formal Language. In 11th IEEE International Conference on Cloud Computing, CLOUD 2018, San Francisco, CA, USA, July 2-7, 2018. pages 367-374, IEEE Computer Society, 2018. [doi]