Login / Signup
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