Software Engineering for Resilient Systems
9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings
-
- 39٫99 US$
-
- 39٫99 US$
وصف الناشر
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
٢٠١٦
Computer Safety, Reliability, and Security
٢٠١٩
Computer Safety, Reliability, and Security
٢٠١٩
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
٢٠١٩
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
٢٠١٧
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
٢٠١٦