Browsing eNauka
Browsing by Project National Key Research and Development Program of China [2018YFB2101300]
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2022 | Formal Analysis and Verification of DPSTM v2 Architecture Using CSP | Li, Peimu; Yin, Jiaqi; Zhu, Huibiao; Xiao, Lili; Popovic, Miroslav   | Conference Paper | Mp. category will be shown later |
| 2020 | Formal analysis and verification of the PSTM architecture using CSP | Liu, Ailun; Zhu, Huibiao; Popović, Miroslav ; Xiang, Shuangqing; Zhang, Lei | Article | 21M21 |