학술논문
'학술논문'
에서 검색결과 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
Bloem, Roderick; Larrauri, Alberto; Lengfeldner, Roland; Mateis, Cristinel; Nickovic, Dejan; Ziegler, Bjorn
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
Ebrahimi, Masoud; Marksteiner, Stefan; Ničković, Dejan; Bloem, Roderick; Schögler, David; Eisner, Philipp; Sprung, Samuel; Schober, Thomas; Chlup, Sebastian; Schmittner, Christoph; König, Sandra
In: Chechik, M., Katoen, JP., Leucker, M. (eds) Formal Methods. FM 2023. Lecture Notes in Computer Science, vol 14000. Springer, Cham
Academic Journal
Simon Tollec; Vedad Hadži´c; Pascal Nasahl; Mihail Asavoae; Roderick Bloem; Damien Couroussé; Karine Heydemann; Mathieu Jan; Stefan Mangard
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)
주제어
언어