共 27 条
[1]
BlockASP: A Framework for AOP-Based Model Checking Blockchain System
[J].
IEEE ACCESS,
2023, 11
:115062-115075
[2]
Bentrad S., 2022, Turk. J. Comput. Math. Educ, V13, P565, DOI [10.17762/turcomat.v13i03.13057, DOI 10.17762/TURCOMAT.V13I03.13057]
[5]
Gabor U.T., 2019, P IEEE 19 INT S HIGH, DOI [10.1109/HASE.2019.00028, DOI 10.1109/HASE.2019.00028]
[6]
Gabsi Wafa, 2020, International Journal of Business and Systems Research, V14, P139
[7]
Jain R., 2020, P IEEE INT STUDENTSC, DOI [10.1109/SCEECS48394.2020.32, DOI 10.1109/SCEECS48394.2020.32]
[10]
Lohmann D., 2018, P IEEE INT C ELECT C, DOI [10.1109/ICECS.2018.8617838, DOI 10.1109/ICECS.2018.8617838]