Software Engineering for Resilient Systems
9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings
-
- £35.99
-
- £35.99
Publisher Description
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.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2016
Industrial Deployment of System Engineering Methods
2013
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