解定宝
培养单位：南京大学
博士论文《混成系统有界模型检验优化技术研究》针对实时和混成系统可达性验证问题研究优化技术，在状态空间约减、组合系统遍历等方面取得突破，并研制出系统工具，推进了混成系统形式化验证技术的应用进程。
匿名评论 所有评论仅代表网友意见
所有评论仅代表网友意见