ISBN-13: 9783319659473 / Angielski / Miękka / 2017 / 201 str.
ISBN-13: 9783319659473 / Angielski / Miękka / 2017 / 201 str.
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.