Rezultati

eNauka >  Results >  Formal Verification of Distributed Transaction Management in a SOA Based Control System
Title: Formal Verification of Distributed Transaction Management in a SOA Based Control System
Authors: Popović, Ivana; Vrtunski, Vladislav; Popović, Miroslav  
Issue Date: 2011
Publication: 18th IEEE International Conference and Workshops on - Engineering of Computer-Based Systems (IEEE ECBS 2011)
Publisher: IEEE Computer Society, SAD
Type: Conference Paper
ISBN: 978-0-7695-4379-6 Search Idenfier
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
Metadata source: Migrirano iz RIS podataka
Note: verifikacija urađena na osnovu uvida u apstrakt
M-category: 
Mp. category will be shown later

8
SCOPUSTM
6
OpenCitations
5
WEB OF SCIENCETM
Alt metrika
Dimensions
Unpaywall

Google ScholarTM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.