Ivana Popovic

SFM for Supporting Performance Measurement and Management

Zdravko Tesic, Ivana Tomic, Sanja Vranjes Baricic, 2019 .

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

Vladislav Vrtunski, Miroslav Popovic, Ivana Popovic, 2011, 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems.