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,
}











