Publisher
Springer Nature Switzerland
Reference106 articles.
1. van der Aalst, W.M.P.: Process Mining: Data Science in Action. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-662-49851-4
2. ADLINK Technology: Transforming the rail industry with artificial intelligence (2021). https://www.globalrailwayreview.com/whitepaper/127609/transforming-the-rail-industry-with-ai
3. Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. 28(1), 6:1-6:39 (2018). https://doi.org/10.1145/3158668
4. Lecture Notes in Computer Science;BK Aichernig,2019
5. Anselmi, A., et al.: An experience in formal verification of safety properties of a railway signalling control system. In: Rabe, G. (ed.) Proceedings of the 14th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1995), pp. 474–488. Springer (1995). https://doi.org/10.1007/978-1-4471-3054-3_33
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献