模型检测:理论、方法与应用
| 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,30(z1): |
| Palavras-Chave | #系统可靠性 #模态/时序逻辑 #模型检测 |
| Tipo |
期刊论文 |
