David Pumfrey

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2004

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