Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 01/11/2012 → 21/01/2016 |
Funding
- Technical University of Denmark
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
-
Formal Development and Verification of Railway Control Systems - In the context of ERTMS/ETCS Level 2
Vu, L. H., 2015, Kgs. Lyngby: Technical University of Denmark. 276 p. (DTU Compute PHD-2015; No. 395).Research output: Book/Report › Ph.D. thesis
Open AccessFile11138 Downloads (Orbit)