Building reliable, high-performance networks with the Nuprl proof development system.

Christoph Kreitz

Published in: J. Funct. Program. (2004)

Keyphrases

cost effective
case study
knowledge based systems
network design
telecommunication networks
genetic algorithm
bayesian networks
expert systems
software engineering
knowledge acquisition
information processing
network structure
development process