共 50 条
- [32] Model-in-the-Loop Testing of a Railway Interlocking System MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2015), 2015, 580 : 375 - 389
- [33] Architecture and safety requirements of the ACC railway interlocking system IEEE INTERNATIONAL COMPUTER PERFORMANCE AND DEPENDABILITY SYMPOSIUM - IPDS'96, PROCEEDINGS, 1996, : 21 - 29
- [37] Generating numerical algorithms using a computer algebra system BIT Numerical Mathematics, 2006, 46 : 491 - 504