Personal Information

VIEW MORE
Home > Scientific Research > Research Projects

无限状态系统的验证问题研究-可信软件理论、方法集成与综合试验平台

Hits:

Leading Scientist:fuyuxi
Classification of Disciplines:计算机软件
Date of Project Completion:2016-12-01
Date of Project Initiation:2013-02-01

Pre One:M-可解性、M-计算复杂性与计算机科学的模型理论

Next One:计算机科学的结构与核心基础理论

Recommend this article

 沪ICP备05052060 版权所有©上海交通大学

Click:  | The Last Update Time:..