%0 Journal Article %1 journals/tse/FilieriTG16 %A Filieri, Antonio %A Tamburrelli, Giordano %A Ghezzi, Carlo %D 2016 %J IEEE Trans. Software Eng. %K dblp %N 1 %P 75-99 %T Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time. %U http://dblp.uni-trier.de/db/journals/tse/tse42.html#FilieriTG16 %V 42

@article{journals/tse/FilieriTG16, added-at = {2016-03-17T00:00:00.000+0100}, author = {Filieri, Antonio and Tamburrelli, Giordano and Ghezzi, Carlo}, biburl = {https://www.bibsonomy.org/bibtex/28c119ce14d51a3d39b25deb587be72ec/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2015.2421318}, interhash = {8d99f12a5918aa06b0e15ba7ffe02c84}, intrahash = {8c119ce14d51a3d39b25deb587be72ec}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 1, pages = {75-99}, timestamp = {2016-03-18T11:36:51.000+0100}, title = {Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse42.html#FilieriTG16}, volume = 42, year = 2016 }