Contract-Oriented Specifications.

Richard Mitchell John Howse Ali Hamie

Published in: TOOLS (24) (1997)

Keyphrases

real world
delay insensitive
website
case study
high level
multiscale
database
computer vision
image processing
supply chain
formal specification
control flow
reactive systems