Browsing eNauka
Browsing by Project Development of embedded systems with connected services and digital technology
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) | Type | М-cat. |
---|---|---|---|---|
2019 | Formal verification of python software transactional memory based on timed automata (✓) | KORDIĆ, BRANISLAV A. ; Popović, Miroslav ; Gilezan, Silvia K. | Article | 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 | Conference Paper | Mp. category will be shown later |