Publisher
Springer International Publishing
Reference25 articles.
1. Alur, R.: Principles of Cyberphysical Systems. MIT Press, Cambridge (2015)
2. Lecture Notes in Computer Science;R Banach,2013
3. Banach, R.: The landing gear system in multi-machine hybrid Event-B. Int. J. Soft. Tools for Tech. Trans. 19, 205–228 (2017)
4. Banach, R.: Formal refinement and partitioning of a fuel pump system for small aircraft in hybrid Event-B. In: Bonsangue, M., Deng, Y. (eds.) Proceedings of IEEE TASE-16, pp. 65–72. IEEE (2016)
5. Lecture Notes in Computer Science;R Banach,2016
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献