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)