MultiVeStA
From MaRDI portal
Software:20433
swMATH8424MaRDI QIDQ20433FDOQ20433
Author name not available (Why is that?)
Cited In (5)
- Automated and distributed statistical analysis of economic agent-based models
- Probabilistic software product lines
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
- A language-based approach to modelling and analysis of Twitter interactions
- A formal approach to the engineering of domain-specific distributed systems
This page was built for software: MultiVeStA
