Javier Cámara, David Garlan, Bradley R. Schmerl
Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems
ECSA, 2017.
@inproceedings{ECSA-2017-CamaraGS, author = "Javier Cámara and David Garlan and Bradley R. Schmerl", booktitle = "{Proceedings of the 11th European Conference on Software Architecture}", doi = "10.1007/978-3-319-65831-5_1", isbn = "['978-3-319-65830-8', '978-3-319-65831-5']", pages = "3--21", publisher = "{Springer}", title = "{Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems}", year = 2017, }