The Design and Verification of the AlphaStation 600 5-series Workstation

John H. Zurawski John E. Murray Paul J. Lemmon

Published in: Digit. Tech. J. (1995)

Keyphrases

neural network
case study
formal verification
databases
information systems
software engineering
computer aided
engineering design
design space
decision making
multimedia
user interface
knowledge based systems
user experience
design principles
formal methods