Pumfrey, David - Department of Computer Science, University of York

E-print Network

FAQ • HELP • SITE MAP • CONTACT US

Powered by Explorit

Advanced Search

Pumfrey, David - Department of Computer Science, University of York

The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation
Safety Analysis of Hardware / Software Interactions in Complex Systems John A. McDermid, David J. Pumfrey; University of York; York, UK
A DEVELOPMENT OF HAZARD ANALYSIS TO AID SOFTWARE DESIGN J. A. McDermid and D. J. Pumfrey,
TOWARDS INTEGRATED SAFETY ANALYSIS AND DESIGN P Fenelon, J A McDermid, M Nicholson, D J Pumfrey
Experience with the application of HAZOP to computer-based systems J. A. McDermid1 2, M. Nicholson2, D. J. Pumfrey1 2 and P. Fenelon2
The Principled Design of Computer System Safety David John Pumfrey
Assessing the Safety of Integrity Level Partitioning in Software