Publisher
Springer Nature Switzerland
Reference63 articles.
1. Zynq-7000 SoC Data Sheet: Overview (2018). https://www.xilinx.com/support/documentation/data_sheets/ds190-Zynq-7000-Overview.pdf
2. Vivado design suite user guide (2019). https://www.xilinx.com/support/documentation/sw_manuals/xilinx2019_2/ug973-vivado-release-notes-install-license.pdf
3. Lecture Notes in Computer Science;F-M Adolf,2017
4. Alur, R., Henzinger, T.A.: Real-time logics: complexity and expressiveness. In: LICS, pp. 390–401. IEEE (1990)
5. Aurandt, A., Jones, P.H., Rozier, K.Y.: Runtime verification triggers real-time, autonomous fault recovery on the CySat-I. In: Deshmukh, J.V., Havelund, K., Perez, I. (eds.) NASA Formal Methods Symposium, NFM 2022. LNCS, vol. 13260, pp. 816–825. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-06773-0_45
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献