Rethinking of Strategy for Safety Argument Development

Linling Sun; Nuno Silva; Tim Kelly

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

Rethinking of Strategy for Safety Argument Development

Linling Sun, Nuno Silva, 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	384-395
Number of pages	12
ISBN (Electronic)	978-3-319-10557-4
ISBN (Print)	978-3-319-10556-7
DOIs	https://doi.org/10.1007/978-3-319-10557-4_42
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_42

Cite this

Sun, L., Silva, N., & Kelly, T. (2014). Rethinking of Strategy for Safety Argument Development. 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. 384-395). (Lecture Notes in Computer Science; Vol. 8696). Springer. https://doi.org/10.1007/978-3-319-10557-4_42

Sun, Linling ; Silva, Nuno ; Kelly, Tim. / Rethinking of Strategy for Safety Argument Development. 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. 384-395 (Lecture Notes in Computer Science).

@inbook{d2e49356c1e5456a9e082610fa78f831,

title = "Rethinking of Strategy for Safety Argument Development",

author = "Linling Sun and Nuno Silva and Tim Kelly",

year = "2014",

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

language = "English",

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

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "384--395",

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

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

address = "Germany",

}

Sun, L, Silva, N & Kelly, T 2014, Rethinking of Strategy for Safety Argument Development. 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. 384-395. https://doi.org/10.1007/978-3-319-10557-4_42

Rethinking of Strategy for Safety Argument Development. / Sun, Linling; Silva, Nuno; 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. 384-395 (Lecture Notes in Computer Science; Vol. 8696).

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

TY - CHAP

T1 - Rethinking of Strategy for Safety Argument Development

AU - Sun, Linling

AU - Silva, Nuno

AU - Kelly, Tim

PY - 2014

Y1 - 2014

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

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

M3 - Chapter

SN - 978-3-319-10556-7

T3 - Lecture Notes in Computer Science

SP - 384

EP - 395

BT - Computer Safety, Reliability, and Security

A2 - Bondavalli, Andrea

A2 - Ceccarelli, Andrea

A2 - Ortmeier, Frank

PB - Springer

CY - Cham

ER -

Sun L, Silva N, Kelly T. Rethinking of Strategy for Safety Argument Development. 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. 384-395. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-10557-4_42