| |
| 2006 | ||
|---|---|---|
| 4 | EE | Miroslav Popovic, Ilija Basicevic, Ivan Velikic, Jelena Tatic: A Model-Based Statistical Usage Testing of Communication Protocols. ECBS 2006: 377-386 |
| 2005 | ||
| 3 | EE | Miroslav Popovic, Ivan Velikic: A Generic Model-Based Test Case Generator. ECBS 2005: 221-228 |
| 2004 | ||
| 2 | EE | Ivan Velikic, Miroslav Popovic, Vladimir Kovacevic: A Concept of an Integrated Development Environment for Reactive Systems. ECBS 2004: 233-241 |
| 2002 | ||
| 1 | EE | Miroslav Popovic, Vladimir Kovacevic, Ivan Velikic: A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering. ECBS 2002: 59-66 |
| 1 | Ilija Basicevic | [4] |
| 2 | Vladimir Kovacevic | [1] [2] |
| 3 | Miroslav Popovic | [1] [2] [3] [4] |
| 4 | Jelena Tatic | [4] |