Name
Title | ||
|---|---|---|
A spiral process of formalization and verification: A case study on verification of the scheduling mechanism of OSEK/VDX. |
Year | Venue | DocType |
|---|---|---|
2016 | J. Inf. Sec. Appl. | Journal |
Volume | Citations | PageRank |
31 | 0 | 0.34 |
References | Authors | |
0 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Min Zhang | 1 | 39 | 9.22 |
| Toshiaki Aoki | 2 | 1 | 2.08 |
| Yueying He | 3 | 22 | 6.71 |