Improvement of a service level negotiation protocol using formal verification.

Mohamed Aymen Chalouf Francine Krief Nader Mbarek Tayeb Lemlouma

Published in: ISCC (2013)

Keyphrases

service level
formal verification
negotiation protocol
model checking
cooperative
electronic commerce
model checker
supply chain
bounded model checking
automated verification
multi issue
total cost
temporal logic
lead time
conflict resolution
information exchange
negotiation strategies
automated negotiation