共 50 条
- [2] Integrated formal methods for safety analysis of train systems BUILDING THE INFORMATION SOCIETY, 2004, 156 : 637 - 642
- [4] HARDWARE SOFTWARE INTEGRATION IN MICROPROCESSOR BASED SYSTEMS ELECTRONIC ENGINEERING, 1984, 56 (695): : 63 - 66
- [5] Research on safety verification methods of static data of train control systems based on deep association rules JOURNAL OF SUPERCOMPUTING, 2024, 80 (09): : 13124 - 13140
- [7] Microprocessor signal and train control: A new regulatory approach RAILWAYS, 2006, (1943): : 25 - 30
- [9] HARDWARE/SOFTWARE INTEGRATION IN MICROPROCESSOR BASED SYSTEMS. Electronic Engineering (London), 1984, 56 (695): : 63 - 66
- [10] Investigation of risk analysis methods for safety assurance in the train control system 2007 INTERNATIONAL CONFERENCE ON ELECTRICAL MACHINES AND SYSTEMS, VOLS 1-4, 2007, : 866 - 870