The Mechanical Verification of Solid State Interlocking Geographic Data
Główni autorzy: | Simpson, A, Woodcock, J, Davies, J |
---|---|
Format: | Conference item |
Wydane: |
Springer
1997
|
Podobne zapisy
-
The Mechanical Verification of Solid State Interlocking Geographic Data
od: Simpson, A, i wsp.
Wydane: (1997) -
Verification of railway interlocking systems
od: Simon Busard, i wsp.
Wydane: (2015-06-01) -
Model Checking for Interlocking Safety
od: Simpson, A
Wydane: (1998) -
Mechanically Interlocked Biomacromolecules
od: Yu-Xiang Wang, i wsp.
Wydane: (2024-12-01) -
On the cloud−enabled refinement checking of railway signalling interlockings
od: Simpson, A, i wsp.
Wydane: (2014)