Author:
Laursen Per Lange,Trinh Van Anh Thi,Haxthausen Anne E.
Publisher
Springer International Publishing
Reference22 articles.
1. Basile, D., et al.: On the industrial uptake of formal methods in the railway domain - a survey with stakeholders. In: Furia, C.A., Winter, K. (eds.) Integrated Formal Methods, pp. 20–29. Springer, Heidelberg (2018).
https://doi.org/10.1007/978-3-319-98938-9_2
2. Lecture Notes in Computer Science;D Basile,2019
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. Sci. Comput. Program. 76(2), 119–135 (2011)
4. Lecture Notes in Computer Science;G Behrmann,2004
5. CENELEC - European Committee for Electrotechnical Standardization: EN 50128:2011 - Railway applications - Communications, signalling and processing systems - Software for railway control and protection systems (2011)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献