Towards Realizability Checking of Contracts Using Theories.

Andrew Gacek Andreas Katis Michael W. Whalen John Backes Darren D. Cofer

Published in: NFM (2015)

Keyphrases

information systems
supply chain
theoretical framework
real time
consistency checking
machine learning
information retrieval
web services
information technology
knowledge representation
collaborative learning