References of "Lazreg, Sami 50040671"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailStatistical model checking for variability-intensive systems: applications to bug detection and minimization
Cordy, Maxime UL; Lazreg, Sami UL; Papadakis, Mike UL et al

in Formal Aspects of Computing (2021), 33(6), 1147--1172

Detailed reference viewed: 59 (8 UL)