David Pumfrey

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004

1 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

2004
1	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

Coauthor Index

1 Paul Chinneck [1]

2 John McDermid [1]