Improving the Model Checking Activity - H-UPPAAL: A New Integrated Development Environment for Model Checking
Studenteropgave: Speciale (inkl. HD afgangsprojekt)
- Niklas Kirk Mouritzsen
- Rasmus Holm Jensen
4. semester, Software, Kandidat (Kandidatuddannelse)
| Sprog | Engelsk |
|---|---|
| Udgivelsesdato | 2 jun. 2017 |
| Antal sider | 74 |