Quantifying Uncertainty in Safety Cases Using Evidential Reasoning

Sunil Nair; Neil Walkinshaw; Tim Kelly

doi:10.1007/978-3-319-10557-4_45

Quantifying Uncertainty in Safety Cases Using Evidential Reasoning

Sunil Nair, Neil Walkinshaw, Tim Kelly

Computer Science

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

Original language	English
Title of host publication	Computer Safety, Reliability, and Security
Subtitle of host publication	SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings
Editors	Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier
Place of Publication	Cham
Publisher	Springer
Pages	413-418
Number of pages	6
ISBN (Print)	978-3-319-10556-7, 978-3-319-10557-4
DOIs	https://doi.org/10.1007/978-3-319-10557-4_45
Publication status	Published - 2014

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	8696
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-319-10557-4_45

Cite this

Nair, S., Walkinshaw, N., & Kelly, T. (2014). Quantifying Uncertainty in Safety Cases Using Evidential Reasoning. In A. Bondavalli, A. Ceccarelli, & F. Ortmeier (Eds.), Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings (pp. 413-418). (Lecture Notes in Computer Science; Vol. 8696). Springer. https://doi.org/10.1007/978-3-319-10557-4_45

Nair, Sunil ; Walkinshaw, Neil ; Kelly, Tim. / Quantifying Uncertainty in Safety Cases Using Evidential Reasoning. Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings. editor / Andrea Bondavalli ; Andrea Ceccarelli ; Frank Ortmeier. Cham : Springer, 2014. pp. 413-418 (Lecture Notes in Computer Science).

@inbook{c7c895f9e0734d53ac6bb74126e53011,

title = "Quantifying Uncertainty in Safety Cases Using Evidential Reasoning",

author = "Sunil Nair and Neil Walkinshaw and Tim Kelly",

year = "2014",

doi = "10.1007/978-3-319-10557-4_45",

language = "English",

isbn = "978-3-319-10556-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "413--418",

editor = "Andrea Bondavalli and Andrea Ceccarelli and Frank Ortmeier",

booktitle = "Computer Safety, Reliability, and Security",

address = "Germany",

}

Nair, S, Walkinshaw, N & Kelly, T 2014, Quantifying Uncertainty in Safety Cases Using Evidential Reasoning. in A Bondavalli, A Ceccarelli & F Ortmeier (eds), Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings. Lecture Notes in Computer Science, vol. 8696, Springer, Cham, pp. 413-418. https://doi.org/10.1007/978-3-319-10557-4_45

Quantifying Uncertainty in Safety Cases Using Evidential Reasoning. / Nair, Sunil; Walkinshaw, Neil; Kelly, Tim.
Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings. ed. / Andrea Bondavalli; Andrea Ceccarelli; Frank Ortmeier. Cham: Springer, 2014. p. 413-418 (Lecture Notes in Computer Science; Vol. 8696).

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

TY - CHAP

T1 - Quantifying Uncertainty in Safety Cases Using Evidential Reasoning

AU - Nair, Sunil

AU - Walkinshaw, Neil

AU - Kelly, Tim

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-319-10557-4_45

DO - 10.1007/978-3-319-10557-4_45

M3 - Chapter

SN - 978-3-319-10556-7

SN - 978-3-319-10557-4

T3 - Lecture Notes in Computer Science

SP - 413

EP - 418

BT - Computer Safety, Reliability, and Security

A2 - Bondavalli, Andrea

A2 - Ceccarelli, Andrea

A2 - Ortmeier, Frank

PB - Springer

CY - Cham

ER -

Nair S, Walkinshaw N, Kelly T. Quantifying Uncertainty in Safety Cases Using Evidential Reasoning. In Bondavalli A, Ceccarelli A, Ortmeier F, editors, Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings. Cham: Springer. 2014. p. 413-418. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-10557-4_45