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)

1 Ph.D. thesis

1 results

Filter

2004
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
334 Downloads (Orbit)