Researchers
Popović, Miroslav
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2020 | Formal analysis and verification of the PSTM architecture using CSP | Liu, Ailun; Zhu, Huibiao; Popović, Miroslav   ; Xiang, Shuangqing; Zhang, Lei | Article | 21M21 |
| 2017 | Time-communication impossibility results for distributed transactional memory | Busch, Costas; Herlihy, Maurice; Popović, Miroslav ; Sharma, Gokarna | Article | 21M21 |
| 2010 | Test case generation for the task tree type of architecture | Popović, Miroslav ; Bašičević, Ilija | Article | 21M21 |
| 2001 | Case study: a maintenance practice used with real-time telecommunications software | Popovic, Miroslav V ; Atlagic, Branislav; Kovacevic, Vladimir | Article | 21M21 |