Name
Title | ||
|---|---|---|
基于xMAS模型的SpaceWire信誉逻辑的形式化验证 (xMAS-based Formal Verification of SpaceWire Credit Logic). |
Year | DOI | Venue |
|---|---|---|
2016 | 10.11896/j.issn.1002-137X.2016.02.026 | 计算机科学 |
DocType | Volume | Issue |
Journal | 43 | 2 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
6 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Yanchun Li | 1 | 0 | 1.01 |
| Xiaojuan Li | 2 | 1 | 4.88 |
| Yong Guan | 3 | 787 | 82.67 |
| Rui Wang | 4 | 0 | 2.03 |
| Jie Zhang | 5 | 841 | 185.41 |
| Hongxing Wei | 6 | 101 | 22.41 |