Distributed parameter sweep for UPPAAL models
Student thesis: Master Thesis and HD Thesis
- Jimmy Merrild Krag
- Peter Schmidt Freiberg
- Brian Villumsen
1. term, Computer Science, Master (Master Programme)
| Language | English |
|---|---|
| Publication date | 11 Jan 2011 |
| Number of pages | 59 |