Author:
André Pascal,Attiogbé Christian,Lanoix Arnaud
Publisher
Springer International Publishing
Reference21 articles.
1. Abrial, J.R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. Abrial, J.R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to Event-B. Fundam. Inform. 77(1–2), 1–28 (2007)
3. Lecture Notes in Computer Science;R-J Back,2002
4. Banach, R.: The landing gear case study in hybrid Event-B. In: Boniol et al. [6], pp. 126–141 (2014). https://doi.org/10.1007/978-3-319-07512-9_9
5. Boniol, F., Wiels, V.: The landing gear system case study. In: Boniol et al. [6], pp. 1–18 (2014). https://doi.org/10.1007/978-3-319-07512-9_1
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献