@inproceedings{challita:hal-01790629, TITLE = {{Specifying Semantic Interoperability between Heterogeneous Cloud Resources with the FCLOUDS Formal Language}}, AUTHOR = {Challita, St{\'e}phanie and Zalila, Faiez and Merle, Philippe}, URL = {https://inria.hal.science/hal-01790629}, BOOKTITLE = {{CLOUD 2018 - 11th IEEE International Conference on Cloud Computing}}, ADDRESS = {San Francisco, United States}, YEAR = {2018}, MONTH = Jul, KEYWORDS = {Interoperability ; Alloy ; Formal Verification ; Multi-Clouds ; OCCI ; Formal Language}, PDF = {https://inria.hal.science/hal-01790629/file/Specifying%20Semantic%20Interoperability%20between%20Heterogeneous%20Cloud%20Resources%20with%20the%20FCLOUDS%20Formal%20Language.pdf}, HAL_ID = {hal-01790629}, HAL_VERSION = {v1}, }