Software Engineering for Resilient Systems Software Engineering for Resilient Systems

Software Engineering for Resilient Systems

9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

    • US$39.99
    • US$39.99

출판사 설명

This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. 
The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, resilience and robustness software.

장르
컴퓨터 및 인터넷
출시일
2017년
8월 18일
언어
EN
영어
길이
215
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
3.4
MB
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
2019년
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
2016년
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
2010년
Software Engineering for Resilient Systems Software Engineering for Resilient Systems
2011년
Software Engineering for Resilient Systems Software Engineering for Resilient Systems
2016년
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
2009년
Trustworthy Cyber-Physical Systems Engineering Trustworthy Cyber-Physical Systems Engineering
2016년
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
2019년
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
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
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년
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2016년