AAU Student Projects - visit Aalborg University's student projects portal
A master's thesis from Aalborg University
Book cover


Visualization of Zones in Real-Time Models

Author

Term

4. term

Education

Computer Science, Master

Publication year

2018

Submitted on

Pages

46

Keywords

Visualization ; Model Checking ; Simulation ; Vertex Enumeration

Documents

Download
View record in AAU Student Projects