ZHU Rui
School of Software, Yunnan University, Kunming 650091, China;School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China;Key Laboratory of High Confidence Software Technologies(Peking University), Ministry of Education, Beijing 100871, China;Key Laboratory in Software Engineering of Yunnan Province(Yunnan University), Kunming 650091, ChinaHUANG Yue
School of Software, Yunnan University, Kunming 650091, China;Key Laboratory in Software Engineering of Yunnan Province(Yunnan University), Kunming 650091, ChinaJIN Zhi
School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China;Key Laboratory of High Confidence Software Technologies(Peking University), Ministry of Education, Beijing 100871, ChinaLI Tong
Key Laboratory in Software Engineering of Yunnan Province(Yunnan University), Kunming 650091, China;School of Big Data, Yunnan Agricultural University, Kunming 650201, ChinaTANG Ya-Hui
School of Software, Yunnan University, Kunming 650091, China;Key Laboratory in Software Engineering of Yunnan Province(Yunnan University), Kunming 650091, ChinaTP311
National Natural Science Foundation of China (62002310); Major Project of Science and Technology of Yunnan Province (202002AD080002); Yunnan Provincial Natural Science Foundation of China (2019FB135); Yunnan Provincial Open Fund Project of the Software Engineering Key Laboratory (2020SE404); Yunnan University Data-driven Software Engineering Provincial Science and Technology Innovation Team Foundation of China (2017HC012); Yunnan University "Dong Lu Young-backbone Teacher" Training Program of China (C176220200)
朱锐,黄月,金芝,李彤,汤雅惠.基于完全有限前缀展开的行为等价过程树生成算法.软件学报,2021,32(5):1385-1403
Copy