By the same authors

Using Compositional Verification to Manage Change in Large-Scale Systems

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Standard

Using Compositional Verification to Manage Change in Large-Scale Systems. / Calinescu, Radu Constantin; Kikuchi, Shinji; Johnson, Kenneth Harold Anthony.

Large-Scale Complex IT Systems - Development, Operation and Management. Vol. 7539 2012.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Harvard

Calinescu, RC, Kikuchi, S & Johnson, KHA 2012, Using Compositional Verification to Manage Change in Large-Scale Systems. in Large-Scale Complex IT Systems - Development, Operation and Management. vol. 7539.

APA

Calinescu, R. C., Kikuchi, S., & Johnson, K. H. A. (2012). Using Compositional Verification to Manage Change in Large-Scale Systems. In Large-Scale Complex IT Systems - Development, Operation and Management (Vol. 7539)

Vancouver

Calinescu RC, Kikuchi S, Johnson KHA. Using Compositional Verification to Manage Change in Large-Scale Systems. In Large-Scale Complex IT Systems - Development, Operation and Management. Vol. 7539. 2012

Author

Calinescu, Radu Constantin ; Kikuchi, Shinji ; Johnson, Kenneth Harold Anthony. / Using Compositional Verification to Manage Change in Large-Scale Systems. Large-Scale Complex IT Systems - Development, Operation and Management. Vol. 7539 2012.

Bibtex - Download

@inbook{0622452171c94ce5bf23753170d84a82,
title = "Using Compositional Verification to Manage Change in Large-Scale Systems",
author = "Calinescu, {Radu Constantin} and Shinji Kikuchi and Johnson, {Kenneth Harold Anthony}",
year = "2012",
language = "English",
volume = "7539",
booktitle = "Large-Scale Complex IT Systems - Development, Operation and Management",

}

RIS (suitable for import to EndNote) - Download

TY - CHAP

T1 - Using Compositional Verification to Manage Change in Large-Scale Systems

AU - Calinescu, Radu Constantin

AU - Kikuchi, Shinji

AU - Johnson, Kenneth Harold Anthony

PY - 2012

Y1 - 2012

M3 - Chapter (peer-reviewed)

VL - 7539

BT - Large-Scale Complex IT Systems - Development, Operation and Management

ER -