統計資料
總造訪次數
| 檢視 | |
|---|---|
| 使用模型檢驗器SPIN測試與驗證並行程式 | 111 |
本月總瀏覽
| 六月 2025 | 七月 2025 | 八月 2025 | 九月 2025 | 十月 2025 | 十一月 2025 | 十二月 2025 | |
|---|---|---|---|---|---|---|---|
| 使用模型檢驗器SPIN測試與驗證並行程式 | 0 | 0 | 0 | 0 | 1 | 1 | 0 |
檔案下載
| 檢視 |
|---|
國家瀏覽排行
| 檢視 | |
|---|---|
| 中國 | 96 |
| 美國 | 11 |
| 愛爾蘭 | 1 |
| 台灣 | 1 |
縣市瀏覽排行
| 檢視 | |
|---|---|
| Shenzhen | 93 |
| Menlo Park | 5 |
| Kensington | 4 |
| Beijing | 3 |
| Saint Robert | 2 |
| Taipei | 1 |