Principled Construction of Software Safety Cases

Richard Hawkins; Ibrahim Habli; Tim Kelly

Principled Construction of Software Safety Cases

Richard Hawkins, Ibrahim Habli, Tim Kelly

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	Undefined/Unknown
Title of host publication	SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013
Publication status	Published - 2013

Access to Document

http://hal.archives-ouvertes.fr/SAFECOMP2013-SASSUR/hal-00848485

Cite this

Hawkins, R., Habli, I., & Kelly, T. (2013). Principled Construction of Software Safety Cases. In SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013 http://hal.archives-ouvertes.fr/SAFECOMP2013-SASSUR/hal-00848485

@inproceedings{7d8a03d4655146d3ad19245081dfcf1a,

title = "Principled Construction of Software Safety Cases",

author = "Richard Hawkins and Ibrahim Habli and Tim Kelly",

year = "2013",

language = "Undefined/Unknown",

booktitle = "SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013",

}

Hawkins, R , Habli, I & Kelly, T 2013, Principled Construction of Software Safety Cases. in SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013. <http://hal.archives-ouvertes.fr/SAFECOMP2013-SASSUR/hal-00848485>

Principled Construction of Software Safety Cases. / Hawkins, Richard ; Habli, Ibrahim ; Kelly, Tim.

SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013. 2013.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Principled Construction of Software Safety Cases

AU - Hawkins, Richard

AU - Habli, Ibrahim

AU - Kelly, Tim

PY - 2013

Y1 - 2013

M3 - Conference contribution

BT - SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013

ER -