Haotian Niu, Cunbao Ma, Pei Han, Siyuan Li, Qi Ma, Shenghui Zhang. Research on Safety Modeling and Analysis to the Task Process of Airborne Weather System. In 20th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2020, Macau, China, December 11-14, 2020. pages 317-323, IEEE, 2020. [doi]
Abstract is missing.