Software verification at Bell Labs: One line of development.

Gerard J. Holzmann

Published in: Bell Labs Tech. J. (2000)

Keyphrases

information processing
st century
neural network
artificial intelligence
multiscale
databases
machine learning
knowledge base
case study
data structure
artificial neural networks
decision support
line segments