The Mechanical Verification of Solid State Interlocking Geographic Data

Míreanna comhchosúla

• The Mechanical Verification of Solid State Interlocking Geographic Data
  de réir: Simpson, A, et al.
  Foilsithe / Cruthaithe: (1997)
• Verification of railway interlocking systems
  de réir: Simon Busard, et al.
  Foilsithe / Cruthaithe: (2015-06-01)
• Model Checking for Interlocking Safety
  de réir: Simpson, A
  Foilsithe / Cruthaithe: (1998)
• Mechanically Interlocked Biomacromolecules
  de réir: Yu-Xiang Wang, et al.
  Foilsithe / Cruthaithe: (2024-12-01)
• On the cloud−enabled refinement checking of railway signalling interlockings
  de réir: Simpson, A, et al.
  Foilsithe / Cruthaithe: (2014)