Deductive Verification of Railway Operations
Reliability, safety, and security of railway systems ; 2017 ; Pistoia, Italy
2017-01-01
17 pages
Conference paper
Unknown
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Engineering Index Backfile | 1945
|Computers in railway operations
SLUB | 1987
|1943 railway operations reviewed
Engineering Index Backfile | 1944
|Controlling railway train operations
Engineering Index Backfile | 1923
|