研究领域 查看导师新发文章 (温馨提示:请注意重名现象,建议点开原文通过作者单位确认) 系统安全性建模和验证、系统安全性和可靠性分析、软件测试、系统工程理论和方法、形式化方法理论和应用、舰载数据融合系统等。