共 50 条
- [24] An assurance process for Big Data trustworthiness FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2023, 146 : 34 - 46
- [25] Formal Verification for High-Assurance Behavioral Synthesis AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2009, 5799 : 337 - +
- [26] The SSP: An example of high-assurance systems engineering EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2004, : 167 - 177
- [27] High-assurance distributed, adaptive software for dynamic systems HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2007, : 385 - 386
- [28] High-Assurance Cryptography for Web-Based Enterprises TRANSACTIONS ON ENGINEERING TECHNOLOGIES: SPECIAL ISSUE OF THE WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE 2013, 2014, : 177 - 191
- [30] The Specification, Verification, and Implementation of a High-Assurance Data Structure: An ACL2 Approach PROCEEDINGS OF THE 46TH ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 2013, : 5059 - 5067