课题基金 / 基金详情

开放环境下安全攸关系统建模和验证理论与方法

批准号：
62032024
项目类别：
重点项目
资助金额：
297 万元
负责人：
王戟
依托单位：
中国人民解放军国防科技大学
学科分类：
软件理论、软件工程与服务
结题年份：
--
批准年份：
2020
项目状态：
未结题
项目参与者：
王戟
关键词：
系统建模和验证开放环境安全

王戟的其他基金

相似基金

相关文献

网络计算环境的程序设计理论及关键技术
实时系统的软件可靠性测试与验证
实时容错协议的形式化技术
面向UML的形式化测试技术
国内基金
海外基金