Analysis of the zeroconf protocol using UPPAAL.

Biniam Gebremichael Frits W. Vaandrager Miaomiao Zhang

Published in: EMSOFT (2006)

Keyphrases

quantitative analysis
data analysis
statistical analysis
data structure
formal analysis
data sets
real world
information systems
evolutionary algorithm