Weirui Shang, Jihong Dang, Yao Chen, Xiaofeng Li, Xiaogang Dong. Research on the Safety Assurance Framework for Spacecraft Embedded Software. In Proceedings of the 2023 5th International Conference on Software Engineering and Development, ICSED 2023, Singapore, October 20-22, 2023. pages 28-34, ACM, 2023. [doi]
Abstract is missing.