共 50 条
- [42] Perspectives on safety-critical software AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE - PROCEEDINGS, 1997, : 108 - 109
- [47] Formal Methods for the engineering and certification of safety-critical Knowledge Based Systems VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 113 - 130
- [48] Validation and certification of safety-critical embedded systems -: The DECOS test bench COMPUTER SAFETY, RELIABILTIY, AND SECURITY, PROCEEDINGS, 2006, 4166 : 372 - 385
- [49] Generating evidence for certification of modern processors for use in safety-critical systems FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 125 - 134
- [50] Hardware and Software Framework for an Open Battery Management System in Safety-Critical Applications PROCEEDINGS OF THE IECON 2016 - 42ND ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2016, : 5507 - 5512