Author:
Haque Inzemamul,D’Souza D.,Habeeb P.,Kundu A.,Babu Ganesh
Publisher
Springer International Publishing
Reference37 articles.
1. Abrial, J.R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. AdaCore: GNAT Pro Ada toolsuite (2018).
https://www.adacore.com/gnatpro
3. Lecture Notes in Computer Science;C Barrett,2011
4. Baumann, C., Bormer, T.: Verifying the PikeOS microkernel: first results in the Verisoft XT avionics project. In: Doctoral Symposium on Systems Software Verification. p. 20 (2009)
5. Baumann, C., Bormer, T., Blasum, H., Tverdyshev, S.: Proving memory separation in a microkernel by code level verification. In: Proceedings of the 14th Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, pp. 25–32. IEEE (2011)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献