Arun Prakash, Ranganai Chaparadza, Alexej Starschenko. A Model-driven approach to design and verify autonomic network behaviors. In Workshops Proceedings of the Global Communications Conference, GLOBECOM 2011, 5-9 December 2011, Houston, Texas, USA. pages 701-706, IEEE, 2011. [doi]
Abstract is missing.