Software Engineering for Resilient Systems [electronic resource] : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings /
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- text
- computer
- online resource
- 9783319659480
- 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
- 005.1 23
- QA76.758
Modeling and specification -- Safety and security -- Fault tolerance, resilience and robustness software.
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.
There are no comments on this title.