Genaína Nunes Rodrigues, Vander Alves, Vinicius Nunes, André Lanna, Maxime Cordy, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Axel Legay. Modeling and Verification for Probabilistic Properties in Software Product Lines. In 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015. pages 173-180, IEEE, 2015. [doi]
@inproceedings{RodriguesANLCSS15,
title = {Modeling and Verification for Probabilistic Properties in Software Product Lines},
author = {Genaína Nunes Rodrigues and Vander Alves and Vinicius Nunes and André Lanna and Maxime Cordy and Pierre-Yves Schobbens and Amir Molzam Sharifloo and Axel Legay},
year = {2015},
doi = {10.1109/HASE.2015.34},
url = {http://dx.doi.org/10.1109/HASE.2015.34},
researchr = {https://researchr.org/publication/RodriguesANLCSS15},
cites = {0},
citedby = {0},
pages = {173-180},
booktitle = {16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015},
publisher = {IEEE},
isbn = {978-1-4799-8110-6},
}