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)