Proof Vs Testing in the Context of Safety Standards Conferences

authors

• Galloway, A
• Paige, Richard
• Tudor, NJ
• Weaver, RA
• Toyn, I
• McDermid, J

status

• accepted 

publication date

• December 1, 2005

published in

• 24th Digital Avionics Systems Conference  Journal

presented at event

• 24th Digital Avionics Systems Conference  Conference

keywords

• 46 Information and Computing Sciences
• 4612 Software Engineering

Digital Object Identifier (DOI)

• 10.1109/dasc.2005.1563405

start page

• 1

end page

• 14

volume

• 2