еНаука - преглед
Преглед према Пројекат Development of embedded systems with connected services and digital technology
Приказ резултата 1 до 2 од 2
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2019 | Formal verification of python software transactional memory based on timed automata | KORDIĆ, BRANISLAV A.   ; Popović, Miroslav ; Gilezan, Silvia K. | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2019 | Formal verification of python software transactional memory serializability based on the push/pull semantic model | Popovic, Miroslav ; Popovic, Marko; Gilezan, Silvia ; Kordić, Branislav | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |