Modellering og analyse af globale applikationer

Buchholtz, Mikael (PhD Student)
Nielson, Flemming (Supervisor)
Haxthausen, Anne Elisabeth (Examiner)
Focardi, Riccardo (Examiner)
Guttman, Joshua D. (Examiner)
Nielson, Hanne Riis (Main Supervisor)

Status	Finished
Effective start/end date	01/01/2002 → 12/07/2005

Funding

EU-finansieret

1 Ph.D. thesis

Automated Analysis of Security in Networking Systems
Buchholtz, M., 2004, Kgs. Lyngby, Denmark: Informatics and Mathematical Modelling, Technical University of Denmark, DTU. 158 p. (IMM-PHD-2004-141).
Research output: Book/Report › Ph.D. thesis

Open Access
File
333 Downloads (Orbit)