发布者：李震发布时间：2024-07-14浏览次数：16
1. 《智能移动设备软件自动化测试平台》，镇江市“331”人才计划重点项目，2013-2016，主持
2. 《安全关键软件系统形式化建模和验证》， 科研启动项目，2021-2022，主持