Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana. Coupling Event-B/ProB for the Analysis of the Software Architecture Evolution Described in PDDL. In Ana Maria Madureira, Ajith Abraham, Dorabela Gamboa, Paulo Novais, editors, Intelligent Systems Design and Applications - 16th International Conference on Intelligent Systems Design and Applications (ISDA 2016) held in Porto, Portugal, December 16-18, 2016. Volume 557 of Advances in Intelligent Systems and Computing, pages 821-830, Springer, 2016. [doi]
Abstract is missing.