swMATH8424MaRDI QIDQ20433FDOQ20433
Author name not available (Why is that?)
Official website: http://eprints.imtlucca.it/1798/
Cited In (21)
- 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
- ProMoVer
- 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
- A formal approach to the engineering of domain-specific distributed systems
- MTSA
This page was built for software: MultiVeStA
