Резултати

еНаука >  Резултати >  Formal Verification of Distributed Transaction Management in a SOA Based Control System
Назив: Formal Verification of Distributed Transaction Management in a SOA Based Control System
Аутори: Popović, Ivana; Vrtunski, Vladislav; Popović, Miroslav  
Година: 2011
Публикација: 18th IEEE International Conference and Workshops on - Engineering of Computer-Based Systems (IEEE ECBS 2011)
Издавач: IEEE Computer Society, SAD
Тип резултата: Конференцијски рад
ISBN: 978-0-7695-4379-6 Претражи идентификатор
DOI: 10.1109/ECBS.2011.14
WoS-ID: 000298802400025
Scopus-ID: 2-s2.0-80051999902
URI: https://enauka.gov.rs/handle/123456789/348378
URL: https://ieeexplore.ieee.org/document/5934821
Извор метаподатака: Migrirano iz RIS podataka
Напомена: verifikacija urađena na osnovu uvida u apstrakt
М-категорија: 
Мп категорија ће бити приказана накнадно.

8
SCOPUSTM
6
OpenCitations
5
WEB OF SCIENCETM
Алт метрика
Dimensions
Unpaywall

Google ScholarTM

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