Towards Specification and Refinement of Contracts with Environment Changes.

Qin Li Huibiao Zhu

Published in: SEW (2009)

Keyphrases

real time
mobile robot
artificial intelligence
supply chain
database
real world
case study
high level
dynamic environments
virtual world
electronic commerce
learning community
formal verification
reactive systems
requirements specification