Formal prototyping in early stages of protocol design.

Alwyn Goodloe Carl A. Gunter Mark-Oliver Stehr

Published in: WITS (2005)

Keyphrases

early stage
design process
rapid prototyping
engineering design
web services
design principles
design methodology
formal analysis
case study
sensor networks
low cost
knowledge based systems
distributed databases
information systems
formal model
genetic algorithm
database