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

Ivana Popović; Vladislav Vrtunski; Popović, Miroslav

Rezultati

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

Naziv:	Formal Verification of Distributed Transaction Management in a SOA Based Control System
Autori:	Ivana Popović; Vladislav Vrtunski; 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:	Конференцијски рад
ISBN:	978-1-4577-0065-1 Претражи идентификатор
DOI:	10.1109/ECBS.2011.14
WoS-ID:	000298802400025
Scopus-ID:	2-s2.0-80051999902
URI:	https://enauka.gov.rs/handle/123456789/348378
Извор метаподатака:	Migrirano iz RIS podataka
М-категорија:	Мп категорија ће бити приказана накнадно.

8
SCOPUS^TM

6
OpenCitations

5
WEB OF SCIENCE^TM

Alt metrika

Dimensions

Pronađi DOI

Pronalaženje DOI u servisu CrossRef-u na osnovu meta-podataka u zapisu. Prikazaće se DOI (i metapodaci) čiji se podaci najviše poklapaju. OPREZ - to ne mora biti ta publikacija.

Unpaywall

Google Scholar^TM

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