112
Voted
AINA
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...