Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 01/01/2002 → 06/06/2005 |
Funding
- DTU stipendium
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Research output
- 1 Ph.D. thesis
-
Flow logic for language-based safety and security
Hansen, R. R., 2005, Kgs. Lyngby: Technical University of Denmark. 213 p. (IMM-PHD-2005-143).Research output: Book/Report › Ph.D. thesis
Open AccessFile466 Downloads (Orbit)