Formal Verification of Distributed Transaction Management in a SOA Based Control System

Results

Naziv:	Formal Verification of Distributed Transaction Management in a SOA Based Control System
Autori:	Popović, Ivana; Vrtunski, Vladislav; Popović, Miroslav
Godina:	2011
Publikacija:	18th IEEE International Conference and Workshops on - Engineering of Computer-Based Systems (IEEE ECBS 2011)
Izdavač:	IEEE Computer Society, SAD
Tip rezultata:	Konferencijski rad
ISBN:	978-0-7695-4379-6 Pretraži identifikator
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
Izvor metapodataka:	Migrirano iz RIS podataka
Napomena:	verifikacija urađena na osnovu uvida u apstrakt
M-kategorija:	Mp kategorija će biti prikazana naknadno.

8
SCOPUS^TM

6
OpenCitations

5
WEB OF SCIENCE^TM

Altmetric

Dimensions

Unpaywall

Google Scholar^TM