Formalization and Processing of Data Requirements for the Development of Next Generation Railway Traffic Management Systems
Reliability, safety, and security of railway systems (4th international conference)
2022-01-01
11 pages
Aufsatz (Konferenz)
Unbekannt
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Satellite Systems for Next Generation Air Traffic Management
British Library Online Contents | 1995
|Satellite Systems for Next Generation Air Traffic Management
British Library Conference Proceedings | 1995
|Temporal Logic Formalization of Marine Traffic Rules
IEEE | 2021
|Railway signalling: the next generation
IuD Bahn | 1995
|