Author:
Grubb Fisher,Estivill-Castro Vladimir,Hexel René
Publisher
Springer International Publishing
Reference52 articles.
1. Grubb, F., Estivill-Castro, V.: LLFSMs on the PRU real-time microcontroller (2021). https://github.com/fgrubb/LLFSMs-on-the-PRU-Real-Time-Microcontroller
2. Molloy, D.: Exploring BeagleBone: Tools and Techniques for Building with Embedded Linux. Wiley, New York (2014)
3. Kushal, K.S., Nanda, M., Jayanthi, J.: Formal methods and tools for safety of critical systems. In: Nanda, M., Jeppu, Y. (eds.) Formal Methods for Safety and Security, pp. 13–21. Springer, Singapore (2018). https://doi.org/10.1007/978-981-10-4121-1_2
4. Bambagini, M., Marinoni, M., Aydin, H., Buttazzo, G.: Energy-aware scheduling for real-time systems: a survey. ACM Trans. Embed. Comput. Syst. 15(1), 1–34 (2016). https://doi.org/10.1145/2808231
5. Gomaa, H.: Real-Time Software Design for Embedded Systems. Cambridge University Press, Cambridge (2016). https://doi.org/10.1017/CBO9781139644532
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献