Cited By
View all- Cámara J(2024)Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modelingSoftware and Systems Modeling10.1007/s10270-024-01226-5Online publication date: 11-Nov-2024
- Macedo NBrunel JChemouil DCunha A(2022)Pardinus: A Temporal Relational Model FinderJournal of Automated Reasoning10.1007/s10817-022-09642-266:4(861-904)Online publication date: 12-Sep-2022
- Serna JDay NEsmaeilsabzali S(2022)Dash: declarative behavioural modelling in Alloy with control state hierarchySoftware and Systems Modeling10.1007/s10270-022-01012-122:2(733-749)Online publication date: 6-Aug-2022
- Show More Cited By