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