Model checking adaptive software with featured transition systems

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

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

27 Citationer (Scopus)
OriginalsprogEngelsk
TitelAssurances for Self-Adaptive Systems : Principles, Models, and Techniques
RedaktørerJavier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes
Antal sider29
ForlagSpringer Publishing Company
Publikationsdato4 feb. 2013
Sider1-29
ISBN (Trykt)978-3-642-36248-4
ISBN (Elektronisk)978-3-642-36249-1
DOI
StatusUdgivet - 4 feb. 2013
BegivenhedESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems - Szeged, Ungarn
Varighed: 1 sep. 2011 → …

Konference

KonferenceESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems
LandUngarn
BySzeged
Periode01/09/2011 → …
NavnLecture Notes in Computer Science
Vol/bind7740
ISSN0302-9743

Fingeraftryk Dyk ned i forskningsemnerne om 'Model checking adaptive software with featured transition systems'. Sammen danner de et unikt fingeraftryk.

Citationsformater