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]

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

Identifier