%0 Conference Paper %1 conf/dagstuhl/CalinescuGJP13 %A Calinescu, Radu %A Gerasimou, Simos %A Johnson, Kenneth %A Paterson, Colin %B Software Engineering for Self-Adaptive Systems %D 2013 %E de Lemos, Rogério %E Garlan, David %E Ghezzi, Carlo %E Giese, Holger %I Springer %K dblp %P 223-248 %T Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research Challenges. %U http://dblp.uni-trier.de/db/conf/dagstuhl/adaptive2013.html#CalinescuGJP13 %V 9640 %@ 978-3-319-74183-3

@inproceedings{conf/dagstuhl/CalinescuGJP13, added-at = {2018-01-23T00:00:00.000+0100}, author = {Calinescu, Radu and Gerasimou, Simos and Johnson, Kenneth and Paterson, Colin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d7e519752e55f97418d1e2a4525f047e/dblp}, booktitle = {Software Engineering for Self-Adaptive Systems}, crossref = {conf/dagstuhl/2013adaptive}, editor = {de Lemos, Rogério and Garlan, David and Ghezzi, Carlo and Giese, Holger}, ee = {https://doi.org/10.1007/978-3-319-74183-3_8}, interhash = {0ee10130f98ce88a3d85772a1d3ffcf1}, intrahash = {d7e519752e55f97418d1e2a4525f047e}, isbn = {978-3-319-74183-3}, keywords = {dblp}, pages = {223-248}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:51:49.000+0200}, title = {Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research Challenges.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/adaptive2013.html#CalinescuGJP13}, volume = 9640, year = 2013 }