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

563 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.

Computer Science

Engineering

Biochemistry, Genetics and Molecular Biology

Keyphrases

Mathematics