Browsing by Author Popovic I.
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 29-Aug-2011 | Formal verification of distributed transaction management in a SOA based control system | Popovic I.; Vrtunski V.; Popovic M. |