Statistical Model Checking for Variability-Intensive Systems
(2020) Fundamental Approaches to Software Engineering : Lecture Notes in Computer Science
Files
FASE1.gif
Open Access - GIF
- 617 B
Details
- Authors
- Affiliations
Citations
Cordy, M., Papadakis, M., & Legay, A. (2020). Statistical Model Checking for Variability-Intensive Systems. Fundamental Approaches to Software Engineering : Lecture Notes in Computer Science. https://hdl.handle.net/2078.5/227972