Publisher
Springer International Publishing
Reference12 articles.
1. Baier, C., Katoen, J.-P.: Principles of model checking. MIT Press, Cambridge (2008)
2. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
3. Jastram, M., Butler, M.: Rodin User’s Handbook: Covers Rodin v.2.8. CreateSpace, Scotts Valley (2014)
4. Filali, R., Bouhdadi, M.: Formal modeling and verification of time-constrained ARQ protocols with Event-B. Int. J. Eng. Technol. 8, 1807–1816 (2016)
5. Best, E., Devillers, R., Koutny, M.: Petri Net Algebra. Springer, Heidelberg (2013).
https://doi.org/10.1007/978-3-662-04457-5
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献