| |
| 2006 | ||
|---|---|---|
| 1 | EE | Janees Elamkulam, Ziv Glazberg, Ishai Rabinovitz, Gururaja Kowlali, Satish Chandra Gupta, Sandeep Kohli, Sai Dattathrani, Claudio Paniagua Macia: Detecting Design Flaws in UML State Charts for Embedded Software. Haifa Verification Conference 2006: 109-121 |
| 1 | Janees Elamkulam | [1] |
| 2 | Ziv Glazberg | [1] |
| 3 | Satish Chandra Gupta | [1] |
| 4 | Sandeep Kohli | [1] |
| 5 | Gururaja Kowlali | [1] |
| 6 | Claudio Paniagua Macia | [1] |
| 7 | Ishai Rabinovitz | [1] |