Fingerprint
Dive into the research topics of 'Modeling and Verification for Probabilistic Properties in Software Product Lines'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Modeling and Verification for Probabilistic Properties in Software Product Lines
Genaina N. Rodrigues, Vander Alves, Vinicius Nunes, Andre Lanna, Maxime Cordy, Pierre Yves Schobbens, Amir Molzam Sharifloo, Axel Legay
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution