Researchers
Popović, Miroslav
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2002 | A formal software verification concept based on automated theorem proving and reverse engineering | Popovic, Miroslav V   ; Kovacevic, Vladimir; Velikic, Ivan S | Conference Paper | Mp. category will be shown later |
| 2002 | Sistemska programska podrška u realnom vremenu | Kovačević, Vladimir ; Popović, Miroslav | Text book | Mp. category will be shown later |