![]() | ![]() |
| 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 | |
| 1 | John McDermid | [1] |
| 2 | David Pumfrey | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page