By the same authors

Using Compositional Verification to Manage Change in Large-Scale Systems

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

Author(s)

Department/unit(s)

Publication details

Title of host publicationLarge-Scale Complex IT Systems - Development, Operation and Management
DatePublished - 2012
Volume7539
Original languageEnglish

Projects

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations