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 ...

Allgemein

Marke
Rogério de Lemos
ISBN
Rogério de Lemos 3319741829

Eigenschaften

Menü