Deductive Verification of Railway Operations
Reliability, safety, and security of railway systems ; 2017 ; Pistoia, Italy
01.01.2017
17 pages
Aufsatz (Konferenz)
Unbekannt
© 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
|