![]() | ![]() |
| 2010 | ||
|---|---|---|
| 4 | Frantz Iwu: Scalable Fualt Detection for FPGAs. HASE 2010: 20-25 | |
| 2007 | ||
| 3 | Frantz Iwu, Andy Galloway, John A. McDermid, Ian Toyn: Integrating safety and formal analyses using UML and PFS. Rel. Eng. & Sys. Safety 92(2): 156-170 (2007) | |
| 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] [3] |
| 2 | John A. McDermid | [2] [3] |
| 3 | Ian Toyn | [1] [2] [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page