An Interface Algebra for Real-Time Components.

Thomas A. Henzinger Slobodan Matic

Published in: IEEE Real Time Technology and Applications Symposium (2006)

Keyphrases

real time
user interface
human machine interface
data model
high speed
vision system
high fidelity
database
databases
information systems
multimedia
database systems
low cost
user friendly
graphical interface
boolean algebra