Cited By
View all- Comet JCollavizza HGibart L(2024)Constrained Kripke Structure for Identifying Parameters of Biological ModelsTheoretical Computer Science10.1016/j.tcs.2024.114505(114505)Online publication date: Mar-2024
- Casaluce RBurattin AChiaromonte FLafuente AVandin A(2024)White-box validation of quantitative product lines by statistical model checking and process miningJournal of Systems and Software10.1016/j.jss.2024.111983210:COnline publication date: 1-Apr-2024
- Rousseaux TCrochet CAoga JLegay A(2024)Network Simulator-Centric Compositional TestingFormal Techniques for Distributed Objects, Components, and Systems10.1007/978-3-031-62645-6_10(177-196)Online publication date: 13-Jun-2024
- Show More Cited By