TY  - BOOK
AU  - Courtois,Pierre-Jacques
ED  - SpringerLink (Online service)
TI  - Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering 
SN  - 9781848003729 (electronic bk.)
U1  - 005 22
PY  - 2008///
CY  - London
PB  - Springer-Verlag
KW  - Computer systems
KW  - Reliability
KW  - Nuclear power plants
KW  - Safety measures
KW  - Nuclear engineering
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-1-84800-372-9
ER  -