Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference24 articles.
1. Abrial, J.: The B-Book—Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)
2. Abrial, J.: Modeling in Event-B—System and Software Engineering. Cambridge University Press, Cambridge (2010)
3. Abrial, J.: The ABZ-2018 case study with Event-B. In: ABZ, Volume 10817 of LNCS, pp. 322–337. Springer (2018)
4. Abrial, J., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. STTT 12(6), 447–466 (2010)
5. Arcaini, P., Jezek, P., Kofron, J.: Modelling the Hybrid ERTMS/ETCS Level 3 case study in S pin. In: ABZ, Volume 10817 of LNCS, pp. 277–291. Springer (2018)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Validating multiple variants of an automotive light system with Alloy 6;International Journal on Software Tools for Technology Transfer;2024-05-23
2. Formal Methods and Tools Applied in the Railway Domain;Lecture Notes in Computer Science;2024
3. Mutation Testing for Temporal Alloy Models;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01
4. Live Programming for Finite Model Finders;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
5. ERTMS/ETCS Level 3: Development, assumptions, and what it means for the future;Journal of Intelligent and Connected Vehicles;2023-03