Formal modeling of active network nodes using PVS.

Cindy Kong Perry Alexander Darryl D. Dieckman

Published in: FMSP (2000)

Keyphrases

network nodes
data mining
ad hoc networks
multimedia
computer networks
artificial intelligence
information systems
network topologies