FANG Bing-Wu
Key Laboratory for Safety-critical Software Development and Verification, Ministry of Industry and Information Technology (Nanjing University of Aeronautics and Astronautics), Nanjing 211016, China;College of Information Engineering, Anhui Finance & Trade Vocational College, Hefei 230601, ChinaHUANG Zhi-Qiu
Key Laboratory for Safety-critical Software Development and Verification, Ministry of Industry and Information Technology (Nanjing University of Aeronautics and Astronautics), Nanjing 211016, China;College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211016, ChinaXIE Jian
Key Laboratory for Safety-critical Software Development and Verification, Ministry of Industry and Information Technology (Nanjing University of Aeronautics and Astronautics), Nanjing 211016, China;College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211016, ChinaTP311
房丙午,黄志球,谢健.随机混成系统稀有属性的统计模型检测方法.软件学报,2022,33(10):3717-3731
Copy