Portada

JUSTIFYING THE DEPENDABILITY OF COMPUTER-BASED SYSTEMS IBD

SPRINGER
10 / 2010
9781849967945
Inglés

Sinopsis

Part I: The Context Introduction Current Practices Axiomatic Justification and Uncertainty Justification and Dependability Case Part II: Prescriptions Requirements, Claims and Evidence Arguments, Syntax and Semantics Axiomatic Principles and Limits Part III: Descriptions Structures and Interpretations Embedded Computer System Structures Part IV: Methodological Implications Pre-existing Systems and Components Construction Methods Postface Appendix A: The SIP System Appendix B: Nuclear Material Handling System Example

PVP
329,19