Using Compositional Verification to Manage Change in Large-Scale Systems

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

Original language	English
Title of host publication	Large-Scale Complex IT Systems - Development, Operation and Management
Volume	7539
Publication status	Published - 2012

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

Cite this

@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",

}