Radu Calinescu. Emerging Techniques for the Engineering of Self-Adaptive High-Integrity Software. In Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes, editors, Assurances for Self-Adaptive Systems - Principles, Models, and Techniques. Volume 7740 of Lecture Notes in Computer Science, pages 297-310, Springer, 2013. [doi]
Abstract is missing.