Advanced SPIN Tutorial.

Theo C. Ruys Gerard J. Holzmann

Published in: SPIN (2004)

Keyphrases

database
real time
artificial intelligence
data sets
databases
decision making
expert systems
topics covered