Synthesis and Verification of Self-aware Computing Systems

Calinescu, Radu (Corresponding author); Autili, Marco; Ciamara, Javier; Di Marco, Antinisca; Gerasimou, Simos; Inverardi, Paola; Perucci, Alexander; Jansen, Nils; Katoen, Joost-Pieter; Kwiatkowska, Marta; Mengshoel, Ole J.; Spalazzese, Romina; Tivoli, Massimo

Cham : Springer International Publishing (2017)
Contribution to a book

In: Self-Aware Computing Systems / Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, editors
Page(s)/Article-Nr.: 337-373

Identifier