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]
No references recorded for this publication.
No citations of this publication recorded.