刘志强_西北工业大学副教授

您当前浏览器版本过低，为了不影响您的使用，建议您使用最新的谷歌浏览器、火狐浏览器、 360浏览器，更换浏览器后使用更流畅！（注意！双核浏览器请切换为极速模式）

400-607-9388

刘志强
所属院校: 西北工业大学
所属院系: 软件与微电子学院
职称: 副教授
导师类型:
招生专业: 软件工程
研究领域: 软件工程、形式化方法、实时嵌入式软件

个人简介

科研工作:

重点开展软件形式化验证理论与技术、业务流程驱动的企业应用软件框架、数据驱动和模型驱动的软件测试与验证方法的研究，并致力于相关软件工具的开发。主持国家“十三五”基础科研重大项目子课题1项，省部级基金3项，其他基金类项目3项，科技攻关项目2项；参与863重点项目、“十二五”基础科研重点项目、科技部“十一五”国家科技支撑计划项目和国际科技合作专项项目等多项国家重点项目。在重要的期刊和国际会议上以第一作者发表论文十余篇。

以上内容源自网络公开信息，仅作学术交流之目的，非为商业用途。
如若涉及侵权事宜，请及时与我们联络，我们将即刻修正或删除相关内容。