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


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