Formal Methods for the Development and Verification of Autonomic IT Systems
Attributed to:
Cloud Computing for Large-Scale Complex IT Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.4018/978-1-60960-845-3.ch001
Publication URI: http://dx.doi.org/10.4018/978-1-60960-845-3.ch001
Type: Book Chapter
Book Title: Formal and Practical Aspects of Autonomic Computing and Networking - Specification, Development, and Verification (2012)
Page Reference: 1-37
ISBN: 9781609608453