학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 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
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)
주제어
언어