Zakaria Benzadri, Chafia Bouanaka, Faiza Belala. BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis. In Zaïdi Sahnoun, editor, Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, ICAASE 2014, Constantine, Algeria, November 2-4, 2014. Volume 1294 of CEUR Workshop Proceedings, pages 165-170, CEUR-WS.org, 2014. [doi]
Abstract is missing.