Dhaminda B. Abeywickrama, Franco Zambonelli. Model Checking Goal-Oriented Requirements for Self-Adaptive Systems. In Miroslav Popovic, Bernhard Schätz, Sebastian Voss, editors, IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, ECBS 2012, Novi Sad, Serbia, April 11-13, 2012. pages 33-42, IEEE, 2012. [doi]
@inproceedings{AbeywickramaZ12,
title = {Model Checking Goal-Oriented Requirements for Self-Adaptive Systems},
author = {Dhaminda B. Abeywickrama and Franco Zambonelli},
year = {2012},
doi = {10.1109/ECBS.2012.30},
url = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2012.30},
researchr = {https://researchr.org/publication/AbeywickramaZ12},
cites = {0},
citedby = {0},
pages = {33-42},
booktitle = {IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, ECBS 2012, Novi Sad, Serbia, April 11-13, 2012},
editor = {Miroslav Popovic and Bernhard Schätz and Sebastian Voss},
publisher = {IEEE},
isbn = {978-1-4673-0912-7},
}