Contracts in CML.

Jim Woodcock Ana Cavalcanti John S. Fitzgerald Simon Foster Peter Gorm Larsen

Published in: ISoLA (2) (2014)

Keyphrases

expert systems
supply chain
artificial intelligence
knowledge base
databases
multi agent
computational complexity
information technology
image analysis
special case