Skip to main navigation
Skip to search
Skip to main content
About DTU Orbit
Home
Profiles
Research Units
Research Output
Activities
Projects
Prizes
Press / Media
Search by expertise, name or affiliation
Formal approaches for Aspect-Oriented Systems
Hernandez, Alejandro Mario
(PhD Student)
Nielson, Flemming
(Main Supervisor)
Nielson, Hanne Riis
(Supervisor)
Probst, Christian W.
(Examiner)
De Nicola, Rocco
(Examiner)
Hankin, Chris
(Examiner)
Overview
Research Output
(1)
Research Output
Research Output per year
2012
2012
1
Ph.D. thesis
Research Output per year
Research Output per year
1 results
Title
(ascending)
Publication Year, Title
Title
(descending)
Type
Search results
Distributed security in closed distributed systems
Hernandez, A. M.,
2012
, Kgs. Lyngby:
Technical University of Denmark
.
198 p.
(IMM-PHD-2012; No. 274).
Research output
:
Book/Report
›
Ph.D. thesis
›
Research
Open Access
File
Model checking
Static analysis
Computer science
Access control
Formal methods
318
Downloads (Pure)