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

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Empreinte digitale

Examiner les sujets de recherche de « Modeling and Verification for Probabilistic Properties in Software Product Lines ». Ensemble, ils forment une empreinte digitale unique.

Computer Science