The Mechanical Verification of Solid State Interlocking Geographic Data
Main Authors: | Simpson, A, Woodcock, J, Davies, J |
---|---|
Other Authors: | Groves, L |
Format: | Book |
Published: |
1997
|
Similar Items
-
The Mechanical Verification of Solid State Interlocking Geographic Data
by: Simpson, A, et al.
Published: (1997) -
Model Checking for Interlocking Safety
by: Simpson, A
Published: (1998) -
Mechanically Interlocked Biomacromolecules
by: Yu-Xiang Wang, et al.
Published: (2024-12-01) -
On the cloud−enabled refinement checking of railway signalling interlockings
by: Simpson, A, et al.
Published: (2014) -
Mechanically interlocked and switchable molecules at surfaces.
by: Davis, J, et al.
Published: (2010)