Synchronous Interfaces and Assume/Guarantee Contracts.

Albert Benveniste Benoît Caillaud

Published in: Models, Algorithms, Logics and Tools (2017)

Keyphrases

asynchronous communication
user interface
supply chain
moral hazard
data sets
special case
high speed
virtual environment
visual interfaces