A Verifier for Real-Time Properties.

Jonathan S. Ostroff

Published in: Real Time Syst. (1992)

Keyphrases

real time
real world
social networks
artificial neural networks
data model
control system
signal processing
structural properties
desirable properties
real time tracking
decision making
wide range
user interface
high speed
topological properties