Book Review: Design and Validation of Computer Protocols by Gerard J. Holzmann (Prentice Hall, 1991).

Lars-Åke Fredlund

Published in: Comput. Commun. Rev. (1991)

Keyphrases

design process
engineering design
neural network
database
conceptual framework
optimal design
data sets
databases
e learning
website
image sequences
control system
computer systems
knowledge based systems
software architecture
design methodology