SESAMO: Security and Safety Modelling

Li, Ximeng, (PhD Student)
Nielson, Flemming (Main Supervisor)
Nielson, Hanne Riis (Supervisor)
Probst, Christian W., (Examiner)
Aceto, Luca (Examiner)
Mantal, Heiko (Examiner)

Status	Finished
Effective start/end date	01/10/2012 → 21/01/2016

Related content

Research Output

Fine-grained Information Flow for Concurrent Computation

Research output: Book/Report › Ph.D. thesis › Research