Software Engineering for Resilient Systems Software Engineering for Resilient Systems

Software Engineering for Resilient Systems

7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

    • US$34.99
    • US$34.99

출판사 설명

This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015.
The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications.

장르
컴퓨터 및 인터넷
출시일
2015년
8월 27일
언어
EN
영어
길이
154
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
3
MB
Resilience Assessment and Evaluation of Computing Systems Resilience Assessment and Evaluation of Computing Systems
2012년
Software Engineering for Resilient Systems Software Engineering for Resilient Systems
2016년
Software Engineering for Resilient Systems Software Engineering for Resilient Systems
2017년
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
2016년
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
2007년
Model-Based Safety and Assessment Model-Based Safety and Assessment
2019년
From Software Engineering to Formal Methods and Tools, and Back From Software Engineering to Formal Methods and Tools, and Back
2019년
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2017년