%0 Conference Paper %1 conf/icse/IglesiaW13 %A de la Iglesia, Didac Gil %A Weyns, Danny %B SEAMS %D 2013 %E Litoiu, Marin %E Mylopoulos, John %I IEEE Computer Society %K dblp %P 83-92 %T Guaranteeing robustness in a mobile learning application using formally verified MAPE loops. %U http://dblp.uni-trier.de/db/conf/icse/seams2013.html#IglesiaW13 %@ 978-1-4673-4401-2

@inproceedings{conf/icse/IglesiaW13, added-at = {2023-03-23T00:00:00.000+0100}, author = {de la Iglesia, Didac Gil and Weyns, Danny}, biburl = {https://www.bibsonomy.org/bibtex/22c812e2a3fd6402860c1319e19ddaaeb/dblp}, booktitle = {SEAMS}, crossref = {conf/icse/2013seams}, editor = {Litoiu, Marin and Mylopoulos, John}, ee = {http://dl.acm.org/citation.cfm?id=2663561}, interhash = {24c86030de48adbe7a46a0298b8aea9a}, intrahash = {2c812e2a3fd6402860c1319e19ddaaeb}, isbn = {978-1-4673-4401-2}, keywords = {dblp}, pages = {83-92}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:40:23.000+0200}, title = {Guaranteeing robustness in a mobile learning application using formally verified MAPE loops.}, url = {http://dblp.uni-trier.de/db/conf/icse/seams2013.html#IglesiaW13}, year = 2013 }