Резултати

еНаука >  Резултати >  Formal verification of python software transactional memory based on timed automata
Назив: 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 - Рад у истакнутом међ. часопису

Алт метрика
Dimensions

Пронађи DOI
Unpaywall

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