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