This chapter explores ways in which rigorous mathematical techniques, termed formal methods, can be employed to improved the predictability and dependability of autonomous computing.
Attributed to:
Cloud Computing for Large-Scale Complex IT Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Book Chapter
Book Title: Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification (2012)
Page Reference: 1-37
ISBN: 978-1-60960-845-3