Search




Research outputs

An Approach to Formal Verification of Embedded Software   [2011]

Bašičević, Ilija  ; Popović, Miroslav  

One approach to the testing of security of proposed database application software   [2011]

Ilić, Siniša  ; Lazić, Ljubomir ; Spalević, Petar  

Filters

By type