Formal verification of python software transactional memory based on timed automata

Резултати

Naziv:	Formal verification of python software transactional memory based on timed automata
Autori:	KORDIĆ, BRANISLAV A. ; Popović, Miroslav ; Gilezan, Silvia K.
Godina:	2019
Publikacija:	Acta Polytechnica Hungarica
ISSN:	1785-8860 Acta Polytechnica Hungarica Pretraži identifikator
Izdavač:	Budapest, Hungary : Óbuda University
Tip rezultata:	Naučni članak
Kolacija:	vol. 16 br. 7 str. 197-216
DOI:	10.12700/aph.16.7.2019.7.12
WoS-ID:	000484659400012
Scopus-ID:	2-s2.0-85073481058
URI:	https://enauka.gov.rs/handle/123456789/204732 http://researchrepository.mi.sanu.ac.rs/handle/123456789/2577
URL:	http://acta.uni-obuda.hu/Kordic_Popovic_Ghilezan_94.pdf
Projekat:	Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education Development of embedded systems with connected services and digital technology Representations of logical structures and formal languages and their application in computing
Izvor metapodataka:	Migracija
M-kategorija:	22M22 - Međunarodni časopis kategorije M22

8
SCOPUS^TM

5
WEB OF SCIENCE^TM

Алт метрика

Dimensions

Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.