Coupling Event-B/ProB for the Analysis of the Software Architecture Evolution Described in PDDL.

Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana

Browse the full ISDA paper archive.