Formal Methods for the Development and Verification of Autonomic IT Systems

Radu Calinescu, Shinji Kikuchi, Marta Kwiatkowska

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Formal and Practical Aspects of Autonomic Computing and Networking
Subtitle of host publication	Specification, Development, and Verification
Editors	Phan Cong-Vinh
Publisher	IGI Global
Pages	1-37
ISBN (Print)	9781609608453, 1609608453
DOIs	https://doi.org/10.4018/978-1-60960-845-3.ch001
Publication status	Published - 2012

Access to Document

Cloud Computing for LSCITS
Calinescu, R.
EPSRC
1/05/12 → 31/03/14
Project: Research project (funded) › Research

@inbook{c1a58c3a963740b69b0cb2803aa22b11,

title = "Formal Methods for the Development and Verification of Autonomic IT Systems",

author = "Radu Calinescu and Shinji Kikuchi and Marta Kwiatkowska",

year = "2012",

doi = "10.4018/978-1-60960-845-3.ch001",

language = "English",

isbn = "9781609608453",

pages = "1--37",

editor = "Phan Cong-Vinh",

booktitle = "Formal and Practical Aspects of Autonomic Computing and Networking",

publisher = " IGI Global",

}

Formal Methods for the Development and Verification of Autonomic IT Systems. / Calinescu, Radu; Kikuchi, Shinji; Kwiatkowska, Marta.
Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification. ed. / Phan Cong-Vinh. IGI Global, 2012. p. 1-37.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - Formal Methods for the Development and Verification of Autonomic IT Systems

AU - Calinescu, Radu

AU - Kikuchi, Shinji

AU - Kwiatkowska, Marta

PY - 2012

Y1 - 2012

U2 - 10.4018/978-1-60960-845-3.ch001

DO - 10.4018/978-1-60960-845-3.ch001

M3 - Chapter

SN - 9781609608453

SN - 1609608453

SP - 1

EP - 37

BT - Formal and Practical Aspects of Autonomic Computing and Networking

A2 - Cong-Vinh, Phan

PB - IGI Global

ER -