共 50 条
- [22] EMC assurance and safety critical apparatus in a railway environment 2003 IEEE INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC COMPATIBILITY (EMC), VOLS 1 AND 2, SYMPOSIUM RECORD, 2003, : 429 - 432
- [24] Certifying railway systems for the EC directive on EMC RAIL TRACTION AND BRAKING, 1996, 1996 (19): : 9 - 16
- [26] Model-Based Testing of Railway Interlocking Systems LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: APPLICATION AREAS, PT V, ISOLA 2024, 2025, 15223 : 112 - 126
- [27] A Tool for Automatic Formal Modeling of Railway Interlocking Systems IEEE EUROCON 2015 - INTERNATIONAL CONFERENCE ON COMPUTER AS A TOOL (EUROCON), 2015, : 26 - 29
- [28] Safety Requirements Specification and Verification for Railway Interlocking Systems PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS, VOL 1, 2016, : 335 - 340
- [30] FORMAL VALIDATION METHOD FOR COMPUTERIZED RAILWAY INTERLOCKING SYSTEMS CIE: 2009 INTERNATIONAL CONFERENCE ON COMPUTERS AND INDUSTRIAL ENGINEERING, VOLS 1-3, 2009, : 1532 - 1541