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)