Achieving Understandable Results in a Formal Design Verification.

Richard B. Neely James W. Freeman M. D. Krenzin

Published in: CSFW (1989)

Keyphrases

formal methods
formal model
user interface
functional verification
design patterns
knowledge based systems
case study
information systems
computer vision
artificial intelligence
neural network
real time
object oriented
low cost
social networks
formal specification
information retrieval