Formal verification of python software transactional memory based on timed automata

Results

Назив:	Formal verification of python software transactional memory based on timed automata
Аутори:	KORDIĆ, BRANISLAV A. ; Popović, Miroslav ; Gilezan, Silvia K.
Година:	2019
Публикација:	Acta Polytechnica Hungarica
ISSN:	1785-8860 Acta Polytechnica Hungarica Претражи идентификатор
Издавач:	Budapest, Hungary : Óbuda University
Тип резултата:	Научни чланак
Колација:	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
Пројекат:	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
Извор метаподатака:	Migracija
М-категорија:	22M22 - Међународни часопис категорије M22

8
SCOPUS^TM

5
WEB OF SCIENCE^TM

Altmetric

Dimensions

Unpaywall