Sign in

Synchronous Interfaces and Assume/Guarantee Contracts.

Albert BenvenisteBenoî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