Automatic Verification of Component-Based Real-Time CORBA Applications.

Gabor Madl Sherif Abdelwahed Gabor Karsai

Published in: RTSS (2004)

Keyphrases

real time
low cost
database
vision system
data acquisition
real world
data mining
computer vision
information systems
website
relational databases
control system
distributed systems
moving target
graphics hardware