Amir Molzam Sharifloo, Andreas Metzger. MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems. In Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, editors, Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers. Volume 9640 of Lecture Notes in Computer Science, pages 137-153, Springer, 2013. [doi]
@inproceedings{ShariflooM13,
title = {MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems},
author = {Amir Molzam Sharifloo and Andreas Metzger},
year = {2013},
doi = {10.1007/978-3-319-74183-3_5},
url = {https://doi.org/10.1007/978-3-319-74183-3_5},
researchr = {https://researchr.org/publication/ShariflooM13},
cites = {0},
citedby = {0},
pages = {137-153},
booktitle = {Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers},
editor = {Rogério de Lemos and David Garlan and Carlo Ghezzi and Holger Giese},
volume = {9640},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-74183-3},
}