Quotient for Assume-Guarantee Contracts.

Íñigo Íncer Romeo Alberto L. Sangiovanni-Vincentelli Chung-Wei Lin Eunsuk Kang

Published in: MEMOCODE (2018)

Keyphrases

supply chain
metadata
rough sets
machine intelligence
real world
information retrieval
web pages
cooperative
multi agent systems
lower bound
expert systems
relational databases