| Towards sampling and simulation-based analysis of featured weighted automata |
| English |
| Cordy, Maxime [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >] |
| Legay, Axel [Université Catholique de Louvain - UCL] |
| Lazreg, Sami [University of Nice Sophia Antipolis] |
| Collet, Philippe [University of Nice Sophia Antipolis] |
| May-2019 |
| Proceedings of the 7th International Workshop on Formal Methods in Software Engineering |
| 61-64 |
| Yes |
| International |
| 7th International Workshop on Formal Methods in Software Engineering |
| 27-05-2019 |
| http://hdl.handle.net/10993/42031 |