Supervisor of Master's Candidates
基于格值逻辑的α-n(t)元归结动态自动推理研究 (61175055)
Note:2012.1—2014.12
Supported by:National natural science foundation of China
Pre One:列车网络控制系统验证技术服务
Next One:无线电智能监测网络系统研发(工信无函[2011]146号)
The Last Update Time : ..