Search
Research outputs
One approach to the testing of security of proposed database application software [2011]
Ilić, Siniša
; Lazić, Ljubomir ; Spalević, Petar
An Approach to Formal Verification of Embedded Software
[2011]
Bašičević, Ilija ; Popović, Miroslav
Filters
By type
- 2