M. Usman Iftikhar, Danny Weyns. ActivFORMS: active formal models for self-adaptation. In Gregor Engels, Nelly Bencomo, editors, 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, Proceedings, Hyderabad, India, June 2-3, 2014. pages 125-134, ACM, 2014. [doi]
Abstract is missing.