Danny Weyns, M. Usman Iftikhar, Didac Gil de la Iglesia, Tanvir Ahmad. A survey of formal methods in self-adaptive systems. In Bipin C. Desai, Emil Vassev, Sudhir P. Mudur, Bipin C. Desai, editors, Fifth International C* Conference on Computer Science & Software Engineering, C3S2E '12, Montreal, QC, Canada, June 27-29, 2012. pages 67-79, ACM, 2012. [doi]
Abstract is missing.