Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research Units
Research output
Activities
Projects
Prizes
Press / Media
Datasets
Search by expertise, name or affiliation
Modelling Railway Interlocking Systems II
Haxthausen, Anne Elisabeth
(Project Manager)
Lindegaard, Morten Peter
(Project Participant)
Hansen, Kirsten Mark
(Project Participant)
Viuf, Peter
(Project Participant)
Overview
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
View all
View less