共 39 条
- [12] Goddijn I., 2020, RISKBASED SECURITY
- [14] Hedera, OFF DOC
- [15] Hoxha Ledina., 2018, European Journal of Engineering and Formal Sciences, V2, DOI DOI 10.26417/EJEF.V2I2.P86-89
- [16] Kaur H., 2021, TURK J COMPUT MATH E, V12, P467, DOI [10.17762/turcomat.v12i2.852, DOI 10.17762/TURCOMAT.V12I2.852]
- [18] Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification [J]. STATIC ANALYSIS (SAS 2019), 2019, 11822 : 296 - 319
- [20] Liskov M., 2005, SCIENTIST, V3788, DOI [10.1007/11593447_10, DOI 10.1007/11593447_10]