Research Projects

面向自适应软件的基于测试的形式化方法

Date:2024-03-14  Hits:

Affiliation of Participant(s):计算机科学与技术学院/软件学院

Subsidy Amount(ten thousand yuan):100.0

Date of Project Approval:2024

Copyright©2018- Nanjing University of Aeronautics and Astronautics·Informationization Department(Informationization Technology Center)

Click:| The Last Update Time:--| The Last Update Time:-- |MOBILE Version