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, et al.
  出版: (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, et al.
  出版: (2022-06-01)
• The Use of UML to Development of a Railway Interlocking System
  由: Karol Rastocny, et al.
  出版: (2003-01-01)