Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking

Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin

Research output: Contribution to journalConference articleResearchpeer-review

331 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking'. Together they form a unique fingerprint.

Engineering & Materials Science