학술논문
'학술논문'
에서 검색결과 7건 | 목록
1~10
Academic Journal
IEEE Transactions on Dependable and Secure Computing IEEE Trans. Dependable and Secure Comput. Dependable and Secure Computing, IEEE Transactions on. 20(6):4733-4751 Jan, 2023
Academic Journal
IEEE Software IEEE Softw. Software, IEEE. 39(3):43-49 Jun, 2022
Academic Journal
IEEE Access Access, IEEE. 8:115005-115016 2020
Academic Journal
In: Mathematics . (Mathematics, December-1 2021, 9(23))
Academic Journal
In: Electronics (Switzerland) . (Electronics (Switzerland), 2 June 2021, 10(12))
Book
In: Advances in Cryptology – CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Proceedings, Part II . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14082 LNCS:3-37)
Book
In: Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13371 LNCS:430-443)
검색 결과 제한하기
제한된 항목
[AR] Belles-Munoz, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어