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.
| ISBN: | 9783319659473 |
| Publication date: | 12th August 2017 |
| Author: | Alexander Romanovsky |
| Publisher: | Springer International Publishing AG |
| Format: | Paperback |
| Pagination: | 201 pages |
| Series: | Programming and Software Engineering |
| Genres: |
Software Engineering Mathematical theory of computation Compilers and interpreters Systems analysis and design Information technology: general topics Artificial intelligence |