Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case.

Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri

Browse the full BPM paper archive.