Jiarun Lyu, Jun Hu, Lisong Wang. Platform of Formal Modeling and Analysis for Airborne Software Requirements. In Proceedings of the 2022 6th International Conference on Electronic Information Technology and Computer Engineering, EITCE 2022, Xiamen, China, October 21-23, 2022. pages 1221-1234, ACM, 2022. [doi]
Abstract is missing.