Jiankun Xu, Lingling Zheng, Junhu Li, Wentao Wang. Research on Formal Modeling of Safety Requirements for Airborne Electronic Warfare Software. In CAA Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS 2023, Yibin, China, September 22-24, 2023. pages 1-5, IEEE, 2023. [doi]
Abstract is missing.