TY  - BOOK
AU  - Romanovsky,Alexander
AU  - Troubitsyna,Elena A.
ED  - SpringerLink (Online service)
TI  - Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings 
T2  - Programming and Software Engineering
SN  - 9783319659480
AV  - QA76.758 
U1  - 005.1 23
PY  - 2017///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Software engineering
KW  - Computer logic
KW  - Programming languages (Electronic computers)
KW  - Computer system failures
KW  - Computers
KW  - Artificial intelligence
KW  - Software Engineering
KW  - Logics and Meanings of Programs
KW  - Programming Languages, Compilers, Interpreters
KW  - System Performance and Evaluation
KW  - The Computing Profession
KW  - Artificial Intelligence
N1  - Modeling and specification -- Safety and security -- Fault tolerance, resilience and robustness software; Available to subscribing member institutions only. Доступно лише організаціям членам підписки
N2  - 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
UR  - https://doi.org/10.1007/978-3-319-65948-0
ER  -