国家自然科学基金 - 杨 培林
Project number | Project name | Project origin | Start time | Roles | Project kind |
---|---|---|---|---|---|
51375365 | 基于形式化技术的复杂机电系统可靠性评价方法研究 | 国家自然科学基金项目 | 2014-1~2017-12 | 负责人 | Vertical project |
Project number | Project name | Project origin | Start time | Roles | Project kind |
---|---|---|---|---|---|
51375365 | 基于形式化技术的复杂机电系统可靠性评价方法研究 | 国家自然科学基金项目 | 2014-1~2017-12 | 负责人 | Vertical project |