Gabriel Tamura, Norha M. Villegas, Hausi A. Müller, João Pedro Sousa, Basil Becker, Gabor Karsai, Serge Mankovski, Mauro Pezzè, Wilhelm Schäfer, Ladan Tahvildari, Kenny Wong. Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems. In Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, editors, Software Engineering for Self-Adaptive Systems II - International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers. Volume 7475 of Lecture Notes in Computer Science, pages 108-132, Springer, 2010. [doi]
Abstract is missing.