Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Balodia, Sudha"'
Static analysis (aka offline analysis) of a model of an IP network is useful for understanding, debugging, and verifying packet flow properties of the network. There have been static analysis approaches proposed in the literature for networks based o
Externí odkaz:
http://arxiv.org/abs/1111.6808
