Modeling and Verification for Probabilistic Properties in Software Product Lines

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]

Abstract

Abstract is missing.