Author:
Xu TianHua,Tang Tao,Gao ChunHai,Cai BaiGen
Publisher
Springer Science and Business Media LLC
Reference18 articles.
1. Jansen L, Meyer zu Hörste M, Schnieder E. Technical issues in modeling the European train control systems. In: Proceedings of 1st CPN Workshop. Denmark: Aarhus University, 1998. 103–115
2. Meyer zu Hörste M, Schnieder E. Modeling and simulation of train control systems using Petri nets. In: Wing J M, Woodcock J, Davies J, eds. FM’99 Formal Methods. World Congress on Formal Methods in the Development of Computing Systems. Berlin: Springer Verlag, 1999. 1867–1883
3. Damm W, Klose J. Verification of a radio-based signal system using the STATMATE verification environment. Form Method Syst Des, 2001, 19(2): 121–141
4. Chiappini A, Cimatti A, Porzia C, et al. Formal specification and development of a safety-critical train management system. In: Proceedings of the 18th International Conference on Computer Safety. Reliability and Security. Berlin: Springer Verlag, 1999. 410–419
5. Zimmermann A, Hommel G. Towards modeling and evaluation of ETCS real-time communication and operation. J Syst Software, 2005, 77(1): 47–54
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献