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 |