еНаука - преглед
Преглед према Пројекат 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. | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2019 | Formal verification of python software transactional memory serializability based on the push/pull semantic model | Popovic, Miroslav ; Popovic, Marko; Gilezan, Silvia ; Kordić, Branislav | Конференцијски рад | Мп категорија ће бити приказана накнадно. |