Safety Assurance of Open Adaptive Systems - A Survey

Mario Trapp, Daniel Schneider. Safety Assurance of Open Adaptive Systems - A Survey. In Nelly Bencomo, Robert B. France, Betty H. C. Cheng, Uwe Aßmann, editors, Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27 - December 2, 2011]. Volume 8378 of Lecture Notes in Computer Science, pages 279-318, Springer, 2011. [doi]

Abstract

Abstract is missing.