· Research Projects

Current position: Home > Research > Research Projects

基于逻辑形式化的漏洞挖掘研究、工业信息系统可信性自动验证平台建设、高原冻土层震电效应检查与信息处理、圆梁山隧道超前预报等

Note: 主持、参研