共 50 条
- [41] Scalable Security Verification of Software at Compile Time 2014 14TH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM 2014), 2014, : 115 - 124
- [43] A Perception of the Practice of Software Security and Performance Verification 2018 25TH AUSTRALASIAN SOFTWARE ENGINEERING CONFERENCE (ASWEC), 2018, : 71 - 80
- [45] Assessment of Bias Assumptions for Climate Models JOURNAL OF CLIMATE, 2014, 27 (17) : 6799 - 6818
- [46] Using trust assumptions with security requirements Requirements Engineering, 2006, 11 : 138 - 151
- [48] Restoring security of evolving software models using graph transformation International Journal on Software Tools for Technology Transfer, 2015, 17 : 267 - 289
- [49] Analysis of Software Reliability Models for Reliability Estimation 2019 9TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING, DATA SCIENCE & ENGINEERING (CONFLUENCE 2019), 2019, : 355 - 358
- [50] INVESTIGATION OF SOFTWARE RELIABILITY MODELS PROCEEDINGS ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1977, (NSYM): : 478 - 484