Didac Gil de la Iglesia, Danny Weyns. Guaranteeing robustness in a mobile learning application using formally verified MAPE loops. In Marin Litoiu, John Mylopoulos, editors, Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. SEAMS 2013, San Francisco, CA, USA, May 20-21, 2013. pages 83-92, IEEE / ACM, 2013. [doi]
Abstract is missing.