1996 |
3 | EE | Stephen P. Wilson,
John A. McDermid,
P. M. Kirkham,
Peter Fenelon:
The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems.
ECBS 1996: 198-205 |
2 | EE | Stephen P. Wilson,
John A. McDermid,
C. H. Pygott,
David J. Tombs:
Assessing Complex Computer Based Systems using the Goal Structuring Notation.
ICECCS 1996: 498-505 |
1995 |
1 | | Stephen P. Wilson,
John A. McDermid:
Integrated Analysis of Complex Safety Critical Systems.
Comput. J. 38(10): 765-776 (1995) |