The Mechanical Verification of Solid State Interlocking Geographic Data
Κύριοι συγγραφείς: | Simpson, A, Woodcock, J, Davies, J |
---|---|
Μορφή: | Conference item |
Έκδοση: |
Springer
1997
|
Παρόμοια τεκμήρια
Παρόμοια τεκμήρια
-
The Mechanical Verification of Solid State Interlocking Geographic Data
ανά: Simpson, A, κ.ά.
Έκδοση: (1997) -
Verification of railway interlocking systems
ανά: Simon Busard, κ.ά.
Έκδοση: (2015-06-01) -
Model Checking for Interlocking Safety
ανά: Simpson, A
Έκδοση: (1998) -
Mechanically Interlocked Biomacromolecules
ανά: Yu-Xiang Wang, κ.ά.
Έκδοση: (2024-12-01) -
On the cloud−enabled refinement checking of railway signalling interlockings
ανά: Simpson, A, κ.ά.
Έκδοση: (2014)