Login / Signup
Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case.
Lazhar Hamel
Mohamed Graiet
Mourad Kmimech
Mohamed Tahar Bhiri
Published in:
Business Process Management Workshops (2012)
Keyphrases
</>
databases
multi agent
event detection
real world
decision making
knowledge base
website
events occurring