1 option
Software Engineering for Resilient Systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings / edited by Alexander Romanovsky, Elena A. Troubitsyna.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Programming and software engineering 2945-9168 ; SL 2, 10479
- Programming and Software Engineering, 2945-9168 ; 10479
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer science.
- Compilers (Computer programs).
- Electronic digital computers-Evaluation.
- Computers.
- Professions.
- Artificial intelligence.
- Software Engineering.
- Computer Science Logic and Foundations of Programming.
- Compilers and Interpreters.
- System Performance and Evaluation.
- The Computing Profession.
- Artificial Intelligence.
- Local Subjects:
- Software Engineering.
- Computer Science Logic and Foundations of Programming.
- Compilers and Interpreters.
- System Performance and Evaluation.
- The Computing Profession.
- Artificial Intelligence.
- Physical Description:
- 1 online resource (XIV, 201 pages) : 56 illustrations
- Edition:
- 1st ed. 2017.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2017.
- System Details:
- text file PDF
- Summary:
- 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.
- Contents:
- Modeling and specification
- Safety and security
- Fault tolerance, resilience and robustness software.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-319-65948-0
- 9783319659480
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.