| Statistical Model Checking for Variability-Intensive Systems |
| English |
| Cordy, Maxime [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SerVal >] |
| Papadakis, Mike [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >] |
| Legay, Axel [Université Catholique de Louvain - UCL] |
| Apr-2020 |
| FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, Dublin 22-25 April 2020 |
| Yes |
| No |
| International |
| 23rd International Conference on FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING |
| from 22-04-2020 to 25-04-2020 |
| http://hdl.handle.net/10993/45705 |