Philippa Conmy

	2009
5		Philippa Conmy, Iain Bate: Semi-Automated Safety Analysis for Field Programmable Gate Arrays. ECBS 2009: 166-175
	2005
4		Iain Bate, Philippa Conmy: Safe Composition of Real Time Software. HASE 2005: 79-88
	2003
3		Philippa Conmy, Mark Nicholson, John A. McDermid: Safety Assurance Contracts for Integrated Modular Avionics. SCS 2003: 69-78
	2001
2		Philippa Conmy, John A. McDermid: High Level Failure Analysis for Integrated Modular Avionics. SCS 2001: 13-22
1		Iain Bate, Philippa Conmy, Tim Kelly, John A. McDermid: Use of Modern Processors in Safety-Critical Applications. Comput. J. 44(6): 531-543 (2001)

Coauthor Index

1	Iain Bate (I. J. Bate)	[1] [4] [5]
2	Tim Kelly (Tim P. Kelly)	[1]
3	John A. McDermid	[1] [2] [3]
4	Mark Nicholson	[3]