共 50 条
- [2] Formal Reliability Models for Web Services [J]. CORRECT SOFTWARE IN WEB APPLICATIONS AND WEB SERVICES, 2015, : 229 - 256
- [3] Interval Predictor Models with a Formal Characterization of Uncertainty and Reliability [J]. 2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2014, : 5991 - 5996
- [4] The Models and Formal System of Energy-Reliability Optimization [J]. PROCEEDINGS OF THE 2021 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (ELCONRUS), 2021, : 115 - 118
- [5] A strategy to improve the reliability of object-oriented formal models [J]. 2013 9TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY (CIS), 2013, : 688 - 691
- [6] Formal Models [J]. OUTLOOKS AND INSIGHTS ON GROUP DECISION AND NEGOTIATION, GDN 2015, 2015, 218 : XXIV - XXVIII
- [7] Formal methods and software reliability [J]. SECOND ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2004, : 145 - 146
- [10] Using Modified Diffusion Models for Reliability Estimation of Open Source Software [J]. IEEE ACCESS, 2023, 11 : 51631 - 51646