Research output per year
Research output per year
Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 01/09/2016 → 09/09/2020 |
Funding
- Samfinansieret - Andet
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
-
Timed Automata for Security of Real-Time Systems
Vasilikos, P., 2019, Technical University of Denmark. 172 p.Research output: Book/Report › Ph.D. thesis
Open AccessFile246 Downloads (Orbit)