| |
| 2007 | ||
|---|---|---|
| 3 | EE | Dubravka Ilic: Deriving Formal Specifications from Informal Requirements. COMPSAC (1) 2007: 145-152 |
| 2006 | ||
| 2 | EE | Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin Snook: Formal Development of Mechanisms for Tolerating Transient Faults. RODIN Book 2006: 189-209 |
| 2005 | ||
| 1 | EE | Dubravka Ilic, Elena Troubitsyna: Formal Development of Software for Tolerating Transient Faults. PRDC 2005: 140-150 |
| 1 | Linas Laibinis | [2] |
| 2 | Colin Snook | [2] |
| 3 | Elena Troubitsyna | [1] [2] |