共 50 条
- [41] Application of TTCN-3 for Testing of Railway Interlocking Systems TRANSPORT SYSTEM TELEMATICS, 2010, 104 : 447 - +
- [42] Validation of Railway Interlocking Systems by Formal Verification, A Case Study SOFTWARE ENGINEERING AND FORMAL METHODS, 2014, 8368 : 237 - 252
- [44] The application of graphic theory on railway yard interlocking control system 2007 IEEE INTELLIGENT VEHICLES SYMPOSIUM, VOLS 1-3, 2007, : 1025 - 1029
- [46] Reduced models for the EMC analysis of High Speed Railway Systems 2012 ASIA-PACIFIC INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC COMPATIBILITY (APEMC), 2012, : 925 - 928
- [47] Role of EMC in packaging of electronic warfare systems PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON ELECTROMAGNETIC INTERFERENCE AND COMPATIBILITY, 2003, : 15 - 22
- [49] Automated validation environment for a product line of railway traffic control systems SOFTWARE PRODUCT-FAMILY ENGINEERING, 2002, 2290 : 401 - 408
- [50] An automatic formal model generation and verification method for railway interlocking systems Gazi University Journal of Science, 2017, 30 (02): : 133 - 147