A Model-driven approach to design and verify autonomic network behaviors.

Arun Prakash, Ranganai Chaparadza, Alexej Starschenko

Browse the full GLOBECOM paper archive.