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.
Trustworthy Cyber-Physical Systems Engineering
2016년
Computer Safety, Reliability, and Security
2019년
Computer Safety, Reliability, and Security
2019년
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
2017년
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2016년