模型检测中的CTL形式化描述模板
发布时间：2024-02-28
点击次数：
- 发表刊物：
- 哈尔滨工程大学学报
- 卷号：
- 4
- 页面范围：
- 483-487
- ISSN号：
- 1006-7043
- 是否译文：
- 否
- 发表时间：
- 2013
陈志远 副教授
陈志远，男，工学博士，副教授，硕士生导师，审计署国家标准翻译专家组成员、黑龙江省网信专家咨询委委员。现从事信息安全与隐私保护、深度学习、模型检测和非线性问题求解等方向的教学和科研工作。主持基础加强计划173重点项目专题1项，参与国家重点研发计划、国家自然科学基金、教育部人文社科研究规划基金等科研项目20余项，发表SCI、EI检索学术论文30余篇，出版编著1部。入选教育部中国教师发展基金会“2021年度高校计算机专业优秀教... 【More】