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)