| A Novel Formal Analysis Method of Network Survivability Based on Stochastic Process Algebra |
| |
| 作者姓名： | 赵国生 王慧强 王健 |
| |
| 作者单位： | Center of Computer Network and Information Harbin Normal University，Institute of Computer Science and Technology Harbin Engineer University，Harbin 150001，China，Institute of Computer Science and Technology Harbin Engineer University，Institute of Computer Science and Technology Harbin Engineer University，Harbin 150001，China，Harbin 150001，China，Harbin 150001，China |
| |
| 基金项目： | 高等学校博士学科点专项科研项目 |
| |
| 摘 要： |
|
A Novel Formal Analysis Method of Network Survivability Based on Stochastic Process Algebra |
| |
| ZHAO Guosheng,WANG Huiqiang,WANG Jian.A Novel Formal Analysis Method of Network Survivability Based on Stochastic Process Algebra[J].Tsinghua Science and Technology,2007,12(Z1):175-179. |
| |
| Authors: | ZHAO Guosheng WANG Huiqiang WANG Jian |
| |
| Abstract: | |
| |
| Keywords: | formal analysis stochastic process algebra network survivability performance analysis |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
