еНаука - преглед
Преглед према Пројекат National Key Research and Development Program of China [2018YFB2101300]
Приказ резултата 1 до 2 од 2
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2022 | Formal Analysis and Verification of DPSTM v2 Architecture Using CSP | Li, Peimu; Yin, Jiaqi; Zhu, Huibiao; Xiao, Lili; Popovic, Miroslav   | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2020 | Formal analysis and verification of the PSTM architecture using CSP | Liu, Ailun; Zhu, Huibiao; Popović, Miroslav ; Xiang, Shuangqing; Zhang, Lei | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |