Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Anunchai, S.V.: Verification of Railway Interlocking Tables using Coloured Pertri Nets. In: Proceedings of the 10th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (2009)
2. Banci, M., Fantechi, A.: Instantiating Generic Charts for Railway Interlocking Systems. In: Tenth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005), Lisbon, Portugal, September 5-6 (2005)
3. ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state/event-based model-checking approach for the analysis of abstract system properties. Science of Computer Programming 76(2), 119–135 (2011)
4. Berger, J., Middelraad, P., Smith, A.J.: EURIS, European railway interlocking specification. In: Proceedings of the Institution of Railway Signal Engineers, IRSE 1993, pp. 70–82 (1993)
5. Boralv, A.: Formal Verification of a Computerized Railway Interlocking. Formal Aspects of Computing 10, 338–360 (1998)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献