| |
| 2005 | ||
|---|---|---|
| 2 | EE | Andy Galloway, Frantz Iwu, John McDermid, Ian Toyn: On the Formal Development of Safety-Critical Software. VSTTE 2005: 362-373 |
| 2003 | ||
| 1 | EE | Frantz Iwu, Ian Toyn: Modelling and Analysing Fault Propagation in Safety-Related Systems. SEW 2003: 167 |
| 1 | Andy Galloway | [2] |
| 2 | John McDermid | [2] |
| 3 | Ian Toyn | [1] [2] |