共 50 条
- [2] Approximation methods in a software quality measurement framework [J]. IEEE CCEC 2002: CANADIAN CONFERENCE ON ELECTRCIAL AND COMPUTER ENGINEERING, VOLS 1-3, CONFERENCE PROCEEDINGS, 2002, : 566 - 571
- [3] A Software Framework for Automated Verification [J]. APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1031 - +
- [4] The RAPID Software Verification Framework [J]. 2022 FORMAL METHODS IN COMPUTER-AIDED DESIGN, FMCAD, 2022, 3 : 255 - 260
- [5] Verification and Validation Methods for a Trust-by-Design Framework for the IoT [J]. DATA AND APPLICATIONS SECURITY AND PRIVACY XXXVI, DBSEC 2022, 2022, 13383 : 183 - 194
- [6] A Framework for Verification of Software with Time and Probabilities [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2010, 6246 : 25 - +
- [8] The Analysis of Existing Methods of Software Verification [J]. PROCEEDINGS OF THE 2019 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (EICONRUS), 2019, : 191 - 193
- [9] A Framework of Software Architecture Principles for Sustainability-driven Design and Measurement [J]. 2021 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C), 2021, : 31 - 37