еНаука - преглед
Преглед према Пројекат Shanghai Collaborative Innovation Center of Trustworthy Software for Internet of
Приказ резултата 1 до 2 од 2
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2020 | Formal analysis and verification of the PSTM architecture using CSP | Liu, Ailun; Zhu, Huibiao; Popović, Miroslav   ; Xiang, Shuangqing; Zhang, Lei | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2019 | Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP | Xu, Chao; Wu, Xi; Zhu, Huibiao; Popovic, Miroslav V | Conference Paper | Mp. category will be shown later |