Real-Time Verification Techniques for Untimed Systems.

Xiaoqun Du C. R. Ramakrishnan Scott A. Smolka

Published in: Electron. Notes Theor. Comput. Sci. (2000)

Keyphrases

real time
distributed systems
telecommunication systems
complex systems
learning systems
intelligent systems
computing systems
real time systems
multimedia
control system
general purpose
information systems
information retrieval
decision making
vision system
computer systems
neural network
data sets