MultiVeStA
From MaRDI portal
Software:20433
No author found.
Related Items (5)
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 ⋮ A formal approach to the engineering of domain-specific distributed systems ⋮ Probabilistic software product lines ⋮ Automated and distributed statistical analysis of economic agent-based models
This page was built for software: MultiVeStA
