- Haxthausen, Anne Elisabeth (Project Manager, organisational)
- Lindegaard, Morten Peter (Project participant)
- Kirsten Mark Hansen, Banestyrelsen
- Peter Viuf, stud. polyt., DTU
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 | Current |
|---|---|
| Period | 01-09-99 → 31-03-00 |
ID: 2256453