信息物理系统中复杂并发行为的形式化建模与验证，参与，国家自然科学基金面上项目, 2018-2021
Date:2024-01-24 Hits:
Ai Liu, an associate professor at College of Computer Science and Technology of Nanjing University of Aeronautics and Astronautics, received the Ph.D in Applied Mathematics from Peking University, ...more+
Copyright©2018- Nanjing University of Aeronautics and Astronautics·Informationization Department(Informationization Technology Center)
Click：| The Last Update Time:--| The Last Update Time:-- |MOBILE Version