Guaranteeing robustness in a mobile learning application using formally verified MAPE loops.

Didac Gil de la Iglesia, Danny Weyns

Browse the full ICSE paper archive.