Synthesis and Verification of Self-aware Computing Systems

Cham / Springer International Publishing (2017) [Contribution to a book]

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

Authors

Selected Authors

Calinescu, Radu
Autili, Marco
Ciamara, Javier
Di Marco, Antinisca
Gerasimou, Simos

Other Authors

Inverardi, Paola
Perucci, Alexander
Jansen, Nils
Katoen, Joost-Pieter
Kwiatkowska, Marta
Mengshoel, Ole J.
Spalazzese, Romina
Tivoli, Massimo

Identifier