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)