Software Engineering for Self-Adaptive Systems III. Assurances: International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised ... Notes in Computer Science, Band 9640)
In diesem Band werden die Erkenntnisse des Dagstuhl-Seminars zu selbstadaptiven Systemen zusammengefasst; Fokus liegt auf formalen Verifikationsmethod ...