Cited in
(23)- Probabilistic software product lines
- Automated and distributed statistical analysis of economic agent-based models
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
- Klava
- MetaKlaim
- ProMoVer
- A formal approach to the engineering of domain-specific distributed systems
- VESTA
- Pirlo
- PMaude
- PVeStA
- MFE
- ITP
- DDebugger
- SCELlight
- PSMaude
- VMC
- DeltaCCS
- BioWar
- SCEL
- ASAP3
- A language-based approach to modelling and analysis of Twitter interactions
- MTSA
This page was built for software: MultiVeStA
