A Theory of Totally Self-Checking System Design.

James E. Smith Paklin Lam

Published in: IEEE Trans. Computers (1983)

Keyphrases

conceptual framework
case study
computer aided
design decisions
optimal design
formal methods
design science
database
social networks