Model checking adaptive software with featured transition systems

Maxime Cordy*, Andreas Classen, Patrick Heymans, Axel Legay, Pierre Yves Schobbens

*Corresponding author

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

27 Citations (Scopus)
Original languageEnglish
Title of host publicationAssurances for Self-Adaptive Systems : Principles, Models, and Techniques
EditorsJavier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes
Number of pages29
PublisherSpringer Publishing Company
Publication date4 Feb 2013
Pages1-29
ISBN (Print)978-3-642-36248-4
ISBN (Electronic)978-3-642-36249-1
DOIs
Publication statusPublished - 4 Feb 2013
EventESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems - Szeged, Hungary
Duration: 1 Sep 2011 → …

Conference

ConferenceESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems
CountryHungary
CitySzeged
Period01/09/2011 → …
SeriesLecture Notes in Computer Science
Volume7740
ISSN0302-9743

Fingerprint Dive into the research topics of 'Model checking adaptive software with featured transition systems'. Together they form a unique fingerprint.

Cite this