The Mechanical Verification of Solid State Interlocking Geographic Data
Hlavní autoři: | Simpson, A, Woodcock, J, Davies, J |
---|---|
Médium: | Conference item |
Vydáno: |
Springer
1997
|
Podobné jednotky
-
The Mechanical Verification of Solid State Interlocking Geographic Data
Autor: Simpson, A, a další
Vydáno: (1997) -
Verification of railway interlocking systems
Autor: Simon Busard, a další
Vydáno: (2015-06-01) -
Model Checking for Interlocking Safety
Autor: Simpson, A
Vydáno: (1998) -
Mechanically Interlocked Biomacromolecules
Autor: Yu-Xiang Wang, a další
Vydáno: (2024-12-01) -
On the cloud−enabled refinement checking of railway signalling interlockings
Autor: Simpson, A, a další
Vydáno: (2014)