The Mechanical Verification of Solid State Interlocking Geographic Data
Asıl Yazarlar: | Simpson, A, Woodcock, J, Davies, J |
---|---|
Materyal Türü: | Conference item |
Baskı/Yayın Bilgisi: |
Springer
1997
|
Benzer Materyaller
-
The Mechanical Verification of Solid State Interlocking Geographic Data
Yazar:: Simpson, A, ve diğerleri
Baskı/Yayın Bilgisi: (1997) -
Verification of railway interlocking systems
Yazar:: Simon Busard, ve diğerleri
Baskı/Yayın Bilgisi: (2015-06-01) -
Model Checking for Interlocking Safety
Yazar:: Simpson, A
Baskı/Yayın Bilgisi: (1998) -
Mechanically Interlocked Biomacromolecules
Yazar:: Yu-Xiang Wang, ve diğerleri
Baskı/Yayın Bilgisi: (2024-12-01) -
On the cloud−enabled refinement checking of railway signalling interlockings
Yazar:: Simpson, A, ve diğerleri
Baskı/Yayın Bilgisi: (2014)