학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 352건 | 목록 1~10
Conference
2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :315-324 Oct, 2022
Conference
2022 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) CODES-ISSS Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2022 International Conference on. :21-24 Oct, 2022
Conference
2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2022 24th International Symposium on. :80-83 Sep, 2022
Report
In: Chechik, M., Katoen, JP., Leucker, M. (eds) Formal Methods. FM 2023. Lecture Notes in Computer Science, vol 14000. Springer, Cham
Academic Journal
Transactions on Cryptographic Hardware and Embedded Systems, Vol 2024, Iss 4 (2024)
Academic Journal
Transactions on Cryptographic Hardware and Embedded Systems, Vol 2024, Iss 4 (2024)
검색 결과 제한하기
제한된 항목
[Author] Bloem, Roderick
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어