实时控制系统的模型验证理论与算法
Hits:
Affiliation of Participant(s):计算机学院（国家示范性软件学院）
Leading Scientist:Huadong Ma
Status:结题
Classification of Project:006
Classification of Disciplines:计算机科学技术
Date of Project Approval:2003-12-01
Date of Project Completion:2009-10-12
Date of Project Initiation:2003-11-01
Opening Time:..
The Last Update Time: ..
