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.
Automated Deductive Verification of Parallel Systems
British Library Conference Proceedings | 1997
|British Library Online Contents | 2008
|Engineering Index Backfile | 1945
|Railway Operations and Maintenance
Springer Verlag | 2024
|