M. Usman Iftikhar, Danny Weyns. Assuring system goals under uncertainty with active formal models of self-adaptation. In Pankaj Jalote, Lionel C. Briand, André van der Hoek, editors, 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014. pages 604-605, ACM, 2014. [doi]
Abstract is missing.