On the cloud−enabled refinement checking of railway signalling interlockings

類似資料

• Model Checking for Interlocking Safety
  著者:: Simpson, A
  出版事項: (1998)
• Verification of railway interlocking systems
  著者:: Simon Busard, 等
  出版事項: (2015-06-01)
• Railway Interlockings – A Review of the Current State of Railway Safety Technology in Europe
  著者:: Florin BĂDĂU
  出版事項: (2022-06-01)
• Interlocking Settlement Induced by Widening Subgrade of Railway Line
  著者:: Dae Sang Kim, 等
  出版事項: (2022-06-01)
• The Use of UML to Development of a Railway Interlocking System
  著者:: Karol Rastocny, 等
  出版事項: (2003-01-01)