XU Heng
College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, ChinaHUANG Zhi-Qiu
College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, ChinaHU Jun
College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, ChinaTAO Chuan-Qi
College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, ChinaWANG Jin-Yong
School of Information Engineering, Xuzhou University of Technology, Xuzhou 221018, ChinaSHI Fan
College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China徐恒,黄志球,胡军,陶传奇,王金永,石帆.基于MTRDL的自动飞行系统模式需求建模与验证方法.软件学报,2024,35(9):4265-4286
Copy