TY  - BOOK
AU  - Butler,Michael
ED  - Workshop on Rigorous Engineering of Fault-tolerant Systems
ED  - SpringerLink (Online service)
TI  - Rigorous Engineering of Fault-Tolerant Systems
SN  - 9783540482673 (electronic bk.)
AV  - QA76.9.F38 W67 2006
U1  - 004.2 22
PY  - 2006///
CY  - Berlin Heidelberg
PB  - Springer-Verlag GmbH.
KW  - Fault-tolerant computing
KW  - Congresses
KW  - Computer software
KW  - Reliability
KW  - Electronic digital computers
KW  - Formal methods (Computer science)
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/11916246
ER  -