TY  - BOOK
AU  - Hobbs,Chris
TI  - Embedded software development for safety-critical systems
SN  - 9781498726702
AV  - MLCM 2019/43901 (Q) 
PY  - 2016///]
CY  - Boca Raton
PB  - CRC Press
KW  - Embedded computer systems
KW  - Programming
KW  - System safety
KW  - Data processing
KW  - Computer software
KW  - Reliability
KW  - Development
KW  - Safety appliances
N1  - Minimal Level Cataloging Plus; Includes bibliographical references and index; Section 1. Background -- section 2. The project -- section 3. Design patterns -- section 4. Design validation -- section 5. Coding -- section 6. Verification -- section 7. Appendices
ER  -