|
Search the dblp DataBase
Ivan Velikic:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Miroslav Popovic, Ilija Basicevic, Ivan Velikic, Jelena Tatic
A Model-Based Statistical Usage Testing of Communication Protocols. [Citation Graph (0, 0)][DBLP] ECBS, 2006, pp:377-386 [Conf]
- Miroslav Popovic, Vladimir Kovacevic, Ivan Velikic
A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering. [Citation Graph (0, 0)][DBLP] ECBS, 2002, pp:59-66 [Conf]
- Miroslav Popovic, Ivan Velikic
A Generic Model-Based Test Case Generator. [Citation Graph (0, 0)][DBLP] ECBS, 2005, pp:221-228 [Conf]
- Ivan Velikic, Miroslav Popovic, Vladimir Kovacevic
A Concept of an Integrated Development Environment for Reactive Systems. [Citation Graph (0, 0)][DBLP] ECBS, 2004, pp:233-241 [Conf]
Search in 0.001secs, Finished in 0.001secs
|