eNauka - pregled
Pregled prema Projekat Development of embedded systems with connected services and digital technology
Prikaz rezultata 1 do 2 od 2
Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
---|---|---|---|---|
2019 | Formal verification of python software transactional memory based on timed automata (✓) | KORDIĆ, BRANISLAV A. ; Popović, Miroslav ; Gilezan, Silvia K. | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |
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. |