共 50 条
- [11] A simulation environment for railway dynamics and signalling, aimed to European certification of safe vital computers 2018 AEIT INTERNATIONAL ANNUAL CONFERENCE, 2018,
- [12] Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION, 2016, 9933 : 231 - 245
- [15] Communication Systems' Safety and Security Challenges in Railway Environment SMART SOLUTIONS IN TODAY'S TRANSPORT, 2017, 715 : 96 - 109
- [16] Characterization of the EM environment of railway spot communication systems 2008 IEEE INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC COMPATIBILITY, VOLS 1-3, 2008, : 435 - +
- [18] POINTING, ACQUISITION AND TRACKING (PAT) SUBSYSTEMS AND COMPONENTS FOR OPTICAL SPACE-COMMUNICATION SYSTEMS OPTICAL SPACE COMMUNICATION, 1989, 1131 : 97 - 107
- [19] The use of modern satellite systems in the railway traffic 2000, Technical University of Budapest (28): : 1 - 2
- [20] FROM A TESTING LABORATORY FOR RAILWAY TECHNICAL COMPONENTS TO A HUMAN FACTORS SIMULATION ENVIRONMENT RAIL HUMAN FACTORS AROUND THE WORLD: IMPACTS ON AND OF PEOPLE FOR SUCCESSFUL RAIL OPERATIONS, 2012, : 154 - 164