贺飞
模型检测的基础理论与算法实现,嵌入式系统及分布式系统的形式化建模与验证,组合优化算法设计与分析。
个性化签名
- 姓名:贺飞
- 目前身份:
- 担任导师情况:
- 学位:
-
学术头衔:
- 职称:-
-
学科领域:
计算机科学技术
- 研究兴趣:模型检测的基础理论与算法实现,嵌入式系统及分布式系统的形式化建模与验证,组合优化算法设计与分析。
-
主页访问
2448
-
关注数
0
-
成果阅读
69
-
成果数
2