TY - DATA AU - Courtois,Pierre-Jacques ED - SpringerLink (Online service) TI - Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering SN - 9781848003729 AV - QA76.76.R44 C68 2008 PY - 2008/// CY - London PB - Springer-Verlag KW - Engineering KW - Computer network architectures KW - System safety KW - Quality Control, Reliability, Safety and Risk KW - Numerical and Computational Methods in Engineering KW - Computer Systems Organization and Communication Networks UR - http://dx.doi.org/10.1007/978-1-84800-372-9 ER -