Stephen P. Wilson

Safety Case Development: Current Practice, Future Prospects

John A. McDermid, Tim Kelly, Stephen P. Wilson, 1997 .

Computer Based Support for Standards and Processes in Safety Critical Systems

John A. McDermid, Stephen P. Wilson, Clive H. Pygott, 1997, SAFECOMP.

Requirements for the use of COTS operating systems in safety related air traffic services

Ron Pierce, John A. McDermid, Ljerka Beus-Dukic, 1999 .

Integrated Analysis of Complex Safety Critical Systems

John A. McDermid, Stephen P. Wilson, 1995, Comput. J..

The Safety Argument Manager: an integrated approach to the engineering and safety assessment of computer based systems

John A. McDermid, Stephen P. Wilson, P. M. Kirkham, 1996, Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems.

Algebraic specification techniques and tools for software development - the ACT approach by I. ClaBen, H. Ehrig and D. Wolz, AMAST Series in Computing, Vol 1. World Scientific Publishing Co., USA, 1993, pp 237, £27.00, ISBN 981-02-1227-5

Stephen P. Wilson, 1996, Knowl. Eng. Rev..

Justifying reliability claims for a fault-detecting parallel architecture

Stephen P. Wilson, Clive H. Pygott, 1997, J. Syst. Archit..

Assessing complex computer based systems using the Goal Structuring Notation

John A. McDermid, Stephen P. Wilson, Clive H. Pygott, 1996, Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW).