AINA
2007
IEEE
13 years 9 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...