Three Way Branching Self Consistency Checking of Hardware and Software.

Antonio Cantoni Lindsay Kleeman

Published in: Softw. Pract. Exp. (1986)

Keyphrases

hardware and software
consistency checking
computer systems
low cost
query answering
temporal constraints
hardware software
temporal reasoning
constraint satisfaction problems
hardware software co design
real time
image processing
data management
smart card
path consistency