| |
| 2007 | ||
|---|---|---|
| 2 | EE | Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar: Specification of Timed EFSM Fault Models in SDL. FORTE 2007: 50-65 |
| 1 | EE | Elisangela Rodrigues Vieira, Ana R. Cavalli: Towards an Automated Test Generation with Delayed Transitions for Timed Systems. RTCSA 2007: 226-231 |
| 1 | Samrat S. Batth | [2] |
| 2 | Ana R. Cavalli | [1] [2] |
| 3 | M. Ümit Uyar | [2] |