Formal Methods for the Development and Verification of Autonomic IT Systems

Radu Calinescu, Shinji Kikuchi, Marta Kwiatkowska

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationFormal and Practical Aspects of Autonomic Computing and Networking
Subtitle of host publication Specification, Development, and Verification
EditorsPhan Cong-Vinh
Publisher IGI Global
ISBN (Print)9781609608453, 1609608453
Publication statusPublished - 2012

Cite this