Истраживачи
Popović, Miroslav
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2011 | An Approach to Formal Verification of Embedded Software | Bašičević, Ilija | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Системска програмска подршка у реалном времену - 2 - Оперативни системи за рад у реалном времену![]() | Kovačević, Vladimir; Popović, Miroslav | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2011 | Formal Verification of Distributed Transaction Management in a SOA Based Control System | Ivana Popović; Vladislav Vrtunski; Popović, Miroslav | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | RAZMENA PODATAKA U ELEKTROENERGETSKIM SISTEMIMA ZASNOVANA NA CIM MODELU I SERVISNO ORIJENTISANOJ ARHITEKTURI | Nenad Mučalov; Popović, Miroslav | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Sistem za govornu komunikaciju povezivanjem javne telefonske mreze (PSTN) ili telefonskog aparata sa Internetom (VoIP) | Bašičević, Ilija | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 2011 | An Approach to Parallelization of Sequential C Code | Nikola Vranić; Marinković, Vladimir | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | JEDNO REŠENJE DISTRIBUIRANE TOPOLOŠKE ANALIZE ZA RAD U REALNOM - VREMENU | POPOVIĆ, NEMANjA | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2011 | Jedno rešenje komunikacione sprege i okvira za distribuiranu obradu elektroenergetskih funkcija | Nikola Radin; Popović, Miroslav | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | An Optimal Initial Partitioning of Large Data Model in Utility Management Systems | Čapko, Darko | Научни чланак | 23M23 - Рад у међ. часопису |
| 2011 | Formal verification of embedded software based on software compliance properties and explicit use of time | Bašičević, Ilija | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2011 | EPS Elektroprivreda | ČOKIĆ, MITA | Научни чланак | 52M52 - Рад у истакнутом нац. часопису |
| 2011 | Izrada okruženja za testiranje paralelizovanog programa | Popović, Miroslav | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 2011 | Системска програмска подршка у реалном времену - 1 - Програмски алати и паралелно програмирање![]() | Kovačević, Vladimir; Popović, Miroslav | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2011 | Prototip infrastrukture za verifikaciju rešenja | Bašičević, Ilija | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 2011 | Izrada alfa verzije paralelizovanog programa za procenu kvaliteta slike | Anđelković, Aleksandar | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 2011 | Operational Profiles for Statistical Testing of Distribution Management System | Bašičević, Ilija | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2011 | OTKRIVANJE IDENTITETA KORISNIKA INTERNET - USLUGA POMOCU DRUSTVENIH MREZA | Jovanović, Nemanja; Považan, Ivan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Use of Finite State Machine Based Framework in Implementation of Communication Protocols – A Case Study | Bašičević, Ilija | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | An Optimal Relationship-Based Partitioning of Large Datasets | Čapko, Darko | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Softver za brzu pretragu podataka na mobilnim telefonima | Kovačević, Vladimir | Техничко решење | Мп категорија ће бити приказана накнадно. |
