Browsing by Author Velikic I.
Showing results 1 to 5 of 5
| Issue Date | Title | Author(s) |
|---|---|---|
| 1-Jan-2002 | A formal software verification concept based on automated theorem proving and reverse engineering | Popovic M.; Kovacevic V.; Velikic I. |
| 1-Jan-2005 | A generic model-based test case generator | Popovic M.; Velikic I. |
| 1-Dec-2006 | A model-based statistical usage testing of communication protocols | Popovic M.; Bašičević, Ilija ; Velikic I.; Tatic J. |
| 1-Jan-2003 | USB VoIP gateway | Medic V.; Popović, Miroslav; Velikic I.; Savić, Mirko |
| 13-Aug-2010 | Use of finite state machine based framework in implementation of communication protocols - A case study | Bašičević, Ilija ; Popovic M.; Velikic I. |