eNauka - pregled
Pregled prema Projekat National Key Research and Development Program of China [2018YFB2101300]
Prikaz rezultata 1 do 2 od 2
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2022 | Formal Analysis and Verification of DPSTM v2 Architecture Using CSP | Li, Peimu; Yin, Jiaqi; Zhu, Huibiao; Xiao, Lili; Popovic, Miroslav   | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2020 | Formal analysis and verification of the PSTM architecture using CSP | Liu, Ailun; Zhu, Huibiao; Popović, Miroslav ; Xiang, Shuangqing; Zhang, Lei | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |