共 50 条
- [31] Specifying safety-critical embedded systems with statecharts and Z:: A case study FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 1998, 1382 : 71 - 87
- [32] Development of a framework for automated systematic testing of safety-critical embedded systems PROCEEDINGS OF THE FOURTH INTERNATIONAL WORKSHOP ON INTELLIGENT SOLUTIONS IN EMBEDDED SYSEMS, 2006, : 65 - +
- [33] Dependable polygon-processing algorithms for safety-critical embedded systems EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005, 2005, 3824 : 405 - 417
- [35] Validation and certification of safety-critical embedded systems -: The DECOS test bench COMPUTER SAFETY, RELIABILTIY, AND SECURITY, PROCEEDINGS, 2006, 4166 : 372 - 385
- [36] Improving Methods and Processes for the Development of Safety-Critical Automotive Embedded Systems 2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,
- [37] Safety assurance for safety-critical embedded systems: Qualification of tools for complex electronic hardware PROCEEDINGS OF THE 2008 1ST INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY, 2008, : 99 - +
- [38] Secure Architecture for Embedded Systems 2015 IEEE HIGH PERFORMANCE EXTREME COMPUTING CONFERENCE (HPEC), 2015,
- [39] Dependability of safety-critical systems 2004 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), VOLS. 1- 3, 2004, : 1561 - 1566