1
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... of Critical Software.- Supporting the Evolution of Free and Open Source Software Distributions.- Optimizing...

2
Published 2016
Springer International Publishing
Table of Contents: ... Analysis of ERTMS Train to Trackside Protocols -- Operational Security – A Coming Evolution of Railway...

3
Published 2005
Springer Berlin Heidelberg
... cycle – fault tolerance re?nement, evolution and decomposition – atomicity and exception handling...