Formelle notationer til specifikation og verification af indlejrede, tidstro systemer
- Rasmussen, Thomas Marthedal, (PhD Student)
- Hansen, Michael Reichhardt (Main Supervisor)
- Rischel, Hans, (Supervisor)
- Løvengreen, Hans Henrik (Examiner)
- Guldstrand Larsen, Kim (Examiner)
- Nipkow, Tobias (Examiner)