Verification of Automated Vehicle Protection Systems.

Henri B. Weinberg Nancy A. Lynch Norman M. Delisle

Published in: Hybrid Systems (1995)

Keyphrases

privacy protection
distributed systems
database
data mining
management system
computer systems
complex systems
neural network
case study
knowledge based systems
computer aided
semi automated
asynchronous circuits
intelligent vehicles