Interactive Design and Verification: A Message Switching Network Example.

Published in: The Use of Formal Specification of Software (1979)

Keyphrases

interactive systems
case study
network design
neural network
information systems
design process
model checking
engineering design
formal methods
real time
user interface
email
computer aided
user experience
data flow
interaction design