Testable Design of Single-Output Sequential Machines Using Checking Experiments.

Kewal K. Saluja Ramaswami Dandapani

Published in: IEEE Trans. Computers (1986)

Keyphrases

design process
computer aided
design principles
information systems
engineering design
design decisions
real time
machine learning
information retrieval
case study
bayesian networks
data model
object oriented
building blocks
design patterns
design methodology