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

researchr

You are not signed in
Sign in
Sign up

Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri. Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case. In Marcello La Rosa, Pnina Soffer, editors, Business Process Management Workshops - BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers. Volume 132 of Lecture Notes in Business Information Processing, pages 513-518, Springer, 2012. [doi]

This author has not been identified. Look up 'Lazhar Hamel' in GoogleThis author has not been identified. Look up 'Mohamed Graiet' in GoogleThis author has not been identified. Look up 'Mourad Kmimech' in GoogleThis author has not been identified. Look up 'Mohamed Tahar Bhiri' in Google

runs on WebDSL