Project Details
Description
The purpose of this project is the model and verify safety properties of computer based railway interlocking systems for lines between stations at the Danish State Railsways.
| Status | Finished |
|---|---|
| Effective start/end date | 01/09/1999 → 31/03/2000 |
Collaborative partners
- Technical University of Denmark (lead)
- Technical University of Denmark (Project partner)
- Banestyrelsen A/S (Project partner)
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.