Modelling Railway Interlocking Systems II

  • Haxthausen, Anne Elisabeth (Project Manager)
  • Lindegaard, Morten Peter (Project Participant)
  • Hansen, Kirsten Mark (Project Participant)
  • Viuf, Peter (Project Participant)

    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.
    StatusFinished
    Effective start/end date01/09/199931/03/2000