ActivFORMS: active formal models for self-adaptation

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]

Authors

M. Usman Iftikhar

This author has not been identified. Look up 'M. Usman Iftikhar' in Google

Danny Weyns

This author has not been identified. Look up 'Danny Weyns' in Google