Sold Out
Book Categories |
Preface | ||
1 | Introduction | 1 |
2 | Safety Criteria | 19 |
3 | Hazard Analysis | 33 |
4 | Risk Analysis | 59 |
5 | Developing Safety-Critical Systems | 81 |
6 | Fault Tolerance | 113 |
7 | System Reliability | 161 |
8 | Safety-Critical Hardware | 199 |
9 | Safety-Critical Software | 215 |
10 | Programmable Logic Controllers | 253 |
11 | Formal Methods | 271 |
12 | Verification, Validation and Testing | 309 |
13 | Quality Management | 347 |
14 | Certification | 359 |
15 | Commercial High-Integrity Systems | 375 |
Appendix A Acronyms | 415 | |
Appendix B Text case generation | 419 | |
Appendix C Answers to numerical problems | 427 | |
Index | 429 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionSafety Critical Computer Systems
X
This Item is in Your InventorySafety Critical Computer Systems
X
You must be logged in to review the productsX
X
X
Add Safety Critical Computer Systems, Increasingly, microcomputers are being used in applications where their correct operation is vital to ensure the safety of the public and the environment: from anti-lock braking systems in automobiles, to fly-by-wire aircraft, to shut-down systems at nucl, Safety Critical Computer Systems to the inventory that you are selling on WonderClubX
X
Add Safety Critical Computer Systems, Increasingly, microcomputers are being used in applications where their correct operation is vital to ensure the safety of the public and the environment: from anti-lock braking systems in automobiles, to fly-by-wire aircraft, to shut-down systems at nucl, Safety Critical Computer Systems to your collection on WonderClub |