Истраживачи
Popović, Miroslav
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2020 | Formal analysis and verification of the PSTM architecture using CSP | Liu, Ailun; Zhu, Huibiao; Popović, Miroslav   ; Xiang, Shuangqing; Zhang, Lei | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 2017 | Time-communication impossibility results for distributed transactional memory | Busch, Costas; Herlihy, Maurice; Popović, Miroslav ; Sharma, Gokarna | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 2010 | Test case generation for the task tree type of architecture | Popović, Miroslav ; Bašičević, Ilija | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 2001 | Case study: a maintenance practice used with real-time telecommunications software | Popovic, Miroslav V ; Atlagic, Branislav; Kovacevic, Vladimir | Научни чланак | 21M21 - Рад у врхунском међ. часопису |