| 本文已被：浏览 2976次 下载 5841次 |
码上扫一扫！ |
|
|
| 系统软件构造与验证技术专题前言 |
|
赵永望1, 刘杨2, 王戟3,4
|
|
1.北京航天航空大学 计算机学院, 北京 100191;2.School of Computer Science and Engineering, Nanyang Technological University, Singapore 639798, Singapore;3.国防科技大学 计算机学院, 湖南 长沙 410073;4.高性能计算国家重点实验室(国防科技大学), 湖南 长沙 410073
|
|
| 摘要: |
|
| 关键词: |
| DOI：10.13328/j.cnki.jos.005958 |
| 分类号: |
| 基金项目: |
|
|
|
|
| Abstract: |
|
| Key words: |
