高可靠软件研究:向信息技术的未来投资
| Data(s) |
2002
|
|---|---|
| Resumo |
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 |
| Identificador | |
| Fonte |
林惠民.高可靠软件研究:向信息技术的未来投资,中国科学院院刊,2002,17(6): |
| Palavras-Chave | #信息技术 #高可靠软件 #测试 #形式化方法 |
| Tipo |
期刊论文 |
