TY  - BOOK
AU  - Gorbenko,Anatoliy
AU  - Romanovsky,Alexander
AU  - Kharchenko,Vyacheslav
TI  - Software Engineering for Resilient Systems: 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings 
SN  - 9783642408946
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer communication systems
KW  - Software engineering
KW  - Operating systems (Computers)
KW  - Computer logic
N1  - Empirical Assessment of Resilience.- Security-Informed Safety: If It's Not Secure, It's Not Safe.- Engineering a Platform for Mission Planning of Autonomous and Resilient Quadrotors.- Towards Agile Development of Critical Software.- Supporting the Evolution of Free and Open Source Software Distributions.- Optimizing Verification of Structurally Evolving Algebraic Petri Nets.- A Case Study in Refinement-Based Modelling of a Resilient Control System -- Synthesis of Resilient Choreographies.- Formal Development and Quantitative Assessment of a Resilient Multi-robotic System.- The SafeCap Project on Railway Safety Verification and Capacity Simulation.- Modeling of Autonomous Vehicle Operation in Intelligent Transportation Systems -- Preliminary Contributions Towards Auto-resilience.- A New Approach to Software Reliability.- Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programs.- Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning
UR  - http://dx.doi.org/10.1007/978-3-642-40894-6
ER  -