Clarifications to the DNS Specification.

Robert Elz Randy Bush

Published in: RFC (1997)

Keyphrases

formal specification
formal verification
high level
load balancing
formal methods
specification language
image segmentation
three dimensional
data sets
real world
data mining
information retrieval
data structure
expert systems
artificial neural networks