Institutional Repository
| 高可靠软件研究:向信息技术的未来投资 | |
| Alternative Title | research on high reliability software: investing into the future of information technology |
| 林惠民 | |
| 2002 | |
| Source | 中国科学院院刊
![]() |
| Volume | 17Issue:6 |
| Indexed Type | wanfang |
| Keyword | 信息技术 高可靠软件 测试 形式化方法 |
| Department | 计算机科学国家重点实验室 |
| Sponsorship | National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/4490 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 林惠民. 高可靠软件研究:向信息技术的未来投资[J]. 中国科学院院刊,2002,17(6). |
| APA | 林惠民.(2002).高可靠软件研究:向信息技术的未来投资.中国科学院院刊,17(6). |
| MLA | 林惠民."高可靠软件研究:向信息技术的未来投资".中国科学院院刊 17.6(2002). |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 21.pdf(238KB) | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment