Results
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: | Konferencijski rad | ISBN: | 978-1-4577-0065-1  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 | Izvor metapodataka: | Migrirano iz RIS podataka | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
8
SCOPUSTM
6
OpenCitations
5
WEB OF SCIENCETM
Altmetric
Dimensions
Unpaywall
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.