Towards Totally Verified Systems.

David May David Shepherd

Published in: MPC (1989)

Keyphrases

expert systems
neural network
knowledge based systems
learning systems
information retrieval
decision making
knowledge base
website
case study
relational databases
trade off
mobile devices
multiresolution
mobile robot