The Mechanical Verification of Solid State Interlocking Geographic Data
Príomhchruthaitheoirí: | Simpson, A, Woodcock, J, Davies, J |
---|---|
Formáid: | Conference item |
Foilsithe / Cruthaithe: |
Springer
1997
|
Míreanna comhchosúla
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)