Analyzing a Real-Time Program with Z.

Published in: ZUM (1998)

Keyphrases

real time
control system
low cost
data mining
information systems
e learning
machine learning
image processing
multi agent systems
general purpose
computer programs
high fidelity