Author:
Butler Michael,Hoang Thai Son,Raschke Alexander,Reichl Klaus
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference13 articles.
1. Abrial, J.-R.: The ABZ-2018 case study with Event-B. Softw. Tools Technol. Transf. (2020). In this issue
2. Arcaini, P., Kofron, J., Jezek, P.: Validation of the Hybrid ERTMS/ETCS Level 3 using SPIN. Softw. Tools Technol. Transf. (2020). In this issue
3. Bartholomeus, M., Luttik, B., Willemse, T., Hansen, D., Leuschel, M., Hendriks, P.: The use of formal methods in specification and demonstration of ERTMS Hybrid Level 3. IRSE News, 260, Nov (2019)
4. Butler, M.J., Raschke, A., Hoang, T.S., Reichl, K. (eds.): Abstract state machines, alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, 5–8 June 2018, Proceedings. vol. 10817 of Lecture Notes in Computer Science. Springer (2018)
5. Cunha, A., Macedo, N.: Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum. Softw. Tools Technol. Transf. (2020). In this issue
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21
2. An automotive case study;International Journal on Software Tools for Technology Transfer;2024-05-16
3. Formal Methods and Tools Applied in the Railway Domain;Lecture Notes in Computer Science;2024
4. Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods;International Journal on Software Tools for Technology Transfer;2022-04-10
5. Supporting Railway Innovations with Formal Modelling and Verification;Formal Methods for Industrial Critical Systems;2022