Istraživači
Popović, Miroslav
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 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 - Rad u vrhunskom međ. časopisu |
| 2017 | Time-communication impossibility results for distributed transactional memory | Busch, Costas; Herlihy, Maurice; Popović, Miroslav ; Sharma, Gokarna | Naučni članak | 21M21 - Rad u vrhunskom međ. časopisu |
| 2010 | Test case generation for the task tree type of architecture | Popović, Miroslav ; Bašičević, Ilija | Naučni članak | 21M21 - Rad u vrhunskom međ. časopisu |
| 2001 | Case study: a maintenance practice used with real-time telecommunications software | Popovic, Miroslav V ; Atlagic, Branislav; Kovacevic, Vladimir | Naučni članak | 21M21 - Rad u vrhunskom međ. časopisu |