Software Engineering for Resilient Systems  5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings /  [electronic resource] : 
edited by Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2013. 
 - 1 online resource (X, 199 p. 87 ill.) 
 - Lecture Notes in Computer Science,  8166  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783642408946 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer communication systems.<br/>Software engineering.<br/>Operating systems (Computers).<br/>Computer logic.