Title: Formal and practical aspects of autonomic computing and networking
Subjects: Computer networks, Formal methods (Computer science), Autonomic computing