4th international workshop on next generation of system assurance approaches for safety-critical systems

Alejandra Ruiz; Jose Luis de la Vara; Tim Kelly

4th international workshop on next generation of system assurance approaches for safety-critical systems

Alejandra Ruiz, Jose Luis de la Vara, Tim Kelly

Quantum

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

Original language	English
Title of host publication	Computer Safety, Reliability, and Security - AFECOMP 2015 Workshops ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Proceedings
Editors	Coen van Gulijk, Floor Koornneef
Publisher	Springer Verlag
Pages	XXV-XXVI
ISBN (Print)	9783319242484
Publication status	Published - 2015
Event	International Conference on Computer Safety, Reliability, and Securitym, SAFECOMP 2015 and held 3rd International Workshop on Assurance Cases for Software-Intensive Systems ASSURE 2015, Workshop on Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems, DECSoS 2015, 2nd International Workshop on the Integration of Safety and Security Engineering, ISSE 2015, Workshop on Reliability and Security Aspects for Critical Infrastructure Protection, ReSA4CI 2015, and 4th InternationalWorkshop on NextGeneration of System Assurance Approaches for Safety-Critical Systems SASSUR, 2015 - Delft, Netherlands Duration: 22 Sept 2015 → 22 Sept 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9338
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Conference on Computer Safety, Reliability, and Securitym, SAFECOMP 2015 and held 3rd International Workshop on Assurance Cases for Software-Intensive Systems ASSURE 2015, Workshop on Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems, DECSoS 2015, 2nd International Workshop on the Integration of Safety and Security Engineering, ISSE 2015, Workshop on Reliability and Security Aspects for Critical Infrastructure Protection, ReSA4CI 2015, and 4th InternationalWorkshop on NextGeneration of System Assurance Approaches for Safety-Critical Systems SASSUR, 2015
Country/Territory	Netherlands
City	Delft
Period	22/09/15 → 22/09/15

Cite this

Ruiz, A., de la Vara, J. L., & Kelly, T. (2015). 4th international workshop on next generation of system assurance approaches for safety-critical systems. In C. van Gulijk, & F. Koornneef (Eds.), Computer Safety, Reliability, and Security - AFECOMP 2015 Workshops ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Proceedings (pp. XXV-XXVI). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9338). Springer Verlag.

Ruiz, Alejandra ; de la Vara, Jose Luis ; Kelly, Tim. / 4th international workshop on next generation of system assurance approaches for safety-critical systems. Computer Safety, Reliability, and Security - AFECOMP 2015 Workshops ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Proceedings. editor / Coen van Gulijk ; Floor Koornneef. Springer Verlag, 2015. pp. XXV-XXVI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{d512a34ba69549ea91359c8642c12f0c,

title = "4th international workshop on next generation of system assurance approaches for safety-critical systems",

author = "Alejandra Ruiz and {de la Vara}, {Jose Luis} and Tim Kelly",

year = "2015",

language = "English",

isbn = "9783319242484",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "XXV--XXVI",

editor = "{van Gulijk}, Coen and Floor Koornneef",

booktitle = "Computer Safety, Reliability, and Security - AFECOMP 2015 Workshops ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Proceedings",

address = "Germany",

note = "International Conference on Computer Safety, Reliability, and Securitym, SAFECOMP 2015 and held 3rd International Workshop on Assurance Cases for Software-Intensive Systems ASSURE 2015, Workshop on Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems, DECSoS 2015, 2nd International Workshop on the Integration of Safety and Security Engineering, ISSE 2015, Workshop on Reliability and Security Aspects for Critical Infrastructure Protection, ReSA4CI 2015, and 4th InternationalWorkshop on NextGeneration of System Assurance Approaches for Safety-Critical Systems SASSUR, 2015 ; Conference date: 22-09-2015 Through 22-09-2015",

}

Ruiz, A, de la Vara, JL & Kelly, T 2015, 4th international workshop on next generation of system assurance approaches for safety-critical systems. in C van Gulijk & F Koornneef (eds), Computer Safety, Reliability, and Security - AFECOMP 2015 Workshops ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9338, Springer Verlag, pp. XXV-XXVI, International Conference on Computer Safety, Reliability, and Securitym, SAFECOMP 2015 and held 3rd International Workshop on Assurance Cases for Software-Intensive Systems ASSURE 2015, Workshop on Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems, DECSoS 2015, 2nd International Workshop on the Integration of Safety and Security Engineering, ISSE 2015, Workshop on Reliability and Security Aspects for Critical Infrastructure Protection, ReSA4CI 2015, and 4th InternationalWorkshop on NextGeneration of System Assurance Approaches for Safety-Critical Systems SASSUR, 2015, Delft, Netherlands, 22/09/15.

4th international workshop on next generation of system assurance approaches for safety-critical systems. / Ruiz, Alejandra; de la Vara, Jose Luis; Kelly, Tim.
Computer Safety, Reliability, and Security - AFECOMP 2015 Workshops ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Proceedings. ed. / Coen van Gulijk; Floor Koornneef. Springer Verlag, 2015. p. XXV-XXVI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9338).

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

TY - GEN

T1 - 4th international workshop on next generation of system assurance approaches for safety-critical systems

AU - Ruiz, Alejandra

AU - de la Vara, Jose Luis

AU - Kelly, Tim

PY - 2015

Y1 - 2015

UR - http://www.scopus.com/inward/record.url?scp=84969813005&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84969813005

SN - 9783319242484

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - XXV-XXVI

BT - Computer Safety, Reliability, and Security - AFECOMP 2015 Workshops ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Proceedings

A2 - van Gulijk, Coen

A2 - Koornneef, Floor

PB - Springer Verlag

T2 - International Conference on Computer Safety, Reliability, and Securitym, SAFECOMP 2015 and held 3rd International Workshop on Assurance Cases for Software-Intensive Systems ASSURE 2015, Workshop on Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems, DECSoS 2015, 2nd International Workshop on the Integration of Safety and Security Engineering, ISSE 2015, Workshop on Reliability and Security Aspects for Critical Infrastructure Protection, ReSA4CI 2015, and 4th InternationalWorkshop on NextGeneration of System Assurance Approaches for Safety-Critical Systems SASSUR, 2015

Y2 - 22 September 2015 through 22 September 2015

ER -

Ruiz A, de la Vara JL, Kelly T. 4th international workshop on next generation of system assurance approaches for safety-critical systems. In van Gulijk C, Koornneef F, editors, Computer Safety, Reliability, and Security - AFECOMP 2015 Workshops ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Proceedings. Springer Verlag. 2015. p. XXV-XXVI. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

4th international workshop on next generation of system assurance approaches for safety-critical systems

Publication series

Conference

Other files and links

Cite this