Synthesis and Verification of Self-aware Computing Systems

Cham / Springer International Publishing (2017) [Buchbeitrag]

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

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

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

Weitere Autorinnen und Autoren

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

Identifikationsnummern