Publisher
Springer Nature Switzerland
Reference92 articles.
1. Lecture Notes in Computer Science;R Abo,2014
2. Abrial, J.: Refinement, decomposition and instantiation of discrete models. In: Proceedings of the 12th International Workshop on Abstract State Machines (ASM 2005), pp. 17–40 (2005)
3. Abrial, J.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010). https://doi.org/10.1017/CBO9781139195881
4. Abrial, J.: The ABZ-2018 case study with Event-B. Int. J. Softw. Tools Technol. Transf. 22(3), 257–264 (2020). https://doi.org/10.1007/s10009-019-00525-3
5. 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
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ASMETA Tool Set for Rigorous System Design;Lecture Notes in Computer Science;2024-09-13
2. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21