共 75 条
[42]
Marastoni N, 2018, PROCEEDINGS OF THE 1ST INTERNATIONAL WORKSHOP ON MACHINE LEARNING AND SOFTWARE ENGINEERING IN SYMBIOSIS, MASES 2018, P26, DOI 10.1145/3243127.3243131
[43]
Marulli F, 2019, PROCEEDINGS OF THE 2019 SUMMER SIMULATION CONFERENCE (SUMMERSIM '19)
[44]
Ransomware Steals Your Phone. Formal Methods Rescue It
[J].
FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2016),
2016, 9688
:212-221
[46]
Nataraj L., 2011, P 8 INT S VIS CYB SE, P4, DOI DOI 10.1145/2016904.2016908
[47]
Om Kumar C. U., 2022, Emerging Research in Computing, Information, Communication and Applications: ERCICA 2020. Lecture Notes in Electrical Engineering (789), P367, DOI 10.1007/978-981-16-1338-8_32
[48]
Pant D., 2022, P 3 INT C ADV INF SC, P1, DOI DOI 10.1145/3503047.3503081
[50]
Perez L, 2017, Arxiv, DOI arXiv:1712.04621