Testing Real-Time Constraints in a Process Algebraic Setting.

Duncan Clarke Insup Lee

Published in: ICSE (1995)

Keyphrases

real time
low cost
image processing
website
user interface
control system
constraint satisfaction
constrained optimization
linear constraints