解定宝

阅读量:26
fancc

优博奖-解定宝-c

解定宝

培养单位:南京大学

  博士论文《混成系统有界模型检验优化技术研究》针对实时和混成系统可达性验证问题研究优化技术,在状态空间约减、组合系统遍历等方面取得突破,并研制出系统工具,推进了混成系统形式化验证技术的应用进程。

<<< 上一篇   董耀祖
<<< 下一篇 梁小丹
读完这篇文章后,您心情如何?