共 50 条
- [31] Certification of Software-Driven Medical Devices LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 : 293 - 295
- [32] A Visual DSL for the Certification of Open Source Software COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT V, 2014, 8583 : 602 - +
- [33] Assessment of software maintenance capability: A model and its architecture Proceedings of the IASTED International Conference on Software Engineering, 2004, : 309 - 314
- [35] Software quality assessment model: a systematic mapping study Science China Information Sciences, 2019, 62
- [39] Software safety standards for the basis of certification in the nuclear domain QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, 2010, : 54 - 62
- [40] Certification Considerations for Adaptive Stress Testing of Airborne Software 2021 IEEE/AIAA 40TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2021,