课题基金 / 基金详情

混成系统设计演算

批准号：
69603010
项目类别：
青年科学基金项目
资助金额：
10.0 万元
负责人：
王戟
依托单位：
中国人民解放军国防科技大学
学科分类：
软件理论、软件工程与服务
结题年份：
1999
批准年份：
1996
项目状态：
已结题
项目参与者：
王戟、谭庆平、杨松琪、罗铁庚、钟广军
关键词：
设计演算程序设计混成系统

王戟的其他基金

相似基金

相关文献

开放环境下安全攸关系统建模和验证理论与方法
网络计算环境的程序设计理论及关键技术
实时系统的软件可靠性测试与验证
实时容错协议的形式化技术
国内基金
海外基金