Modeling and Verification for Probabilistic Properties in Software Product Lines - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Genaína Nunes Rodrigues' in GoogleThis author has not been identified. Look up 'Vander Alves' in GoogleThis author has not been identified. Look up 'Vinicius Nunes' in GoogleThis author has not been identified. Look up 'André Lanna' in GoogleThis author has not been identified. Look up 'Maxime Cordy' in GoogleThis author has not been identified. It may be one of the following persons:

Look up 'Pierre-Yves Schobbens' in GoogleThis author has not been identified. Look up 'Amir Molzam Sharifloo' in GoogleThis author has not been identified. Look up 'Axel Legay' in Google

runs on WebDSL