Throughput capacity verification of automated parking systems.

Marcelo Zottolo Kathryn Peacock Eric Lammers Edward J. Williams

Published in: WSC (2008)

Keyphrases

formal methods
database
real time
management system
neural network
response time
knowledge based systems
complex systems
data sets
database systems
computer systems