| 2005 |
|---|
| 6 | EE | Andy Galloway,
Frantz Iwu,
John McDermid,
Ian Toyn:
On the Formal Development of Safety-Critical Software.
VSTTE 2005: 362-373 |
| 2004 |
|---|
| 5 | EE | Zezhi Chen,
Nick E. Pears,
Bojian Liang,
John McDermid:
Plane Segmentation from Two Views in Reciprocal-Polar Image Space.
ICIAR (1) 2004: 638-646 |
| 4 | EE | Paul Chinneck,
David Pumfrey,
John McDermid:
The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation.
SCS 2004: 33-41 |
| 2003 |
|---|
| 3 | EE | Zezhi Chen,
Nick Pears,
John McDermid,
Thomas Heseltine:
Epipole Estimation under Pure Camera Translation.
DICTA 2003: 849-858 |
| 1998 |
|---|
| 2 | EE | John McDermid:
Limited access testing: IEEE 1149.4-instrumentation and methods.
ITC 1998: 388-395 |
| 1996 |
|---|
| 1 | EE | Wing Lam,
Ben Whittle,
John McDermid,
Steve Wilson:
An Integrated Approach to Domain Analysis and Reuse for Engineering Complex Systems.
ECBS 1996: 102-109 |
