학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 5건 | 목록 1~10
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, June 2024, 62(1-3):260-284)
Conference
In: HSCC 2023 - Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, Part of CPS-IoT Week, HSCC 2023 - Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, Part of CPS-IoT Week. (HSCC 2023 - Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, Part of CPS-IoT Week, 9 May 2023)
Book
In: Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12288 LNCS:76-93)
Conference
In: Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI, Proceedings - 2018 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2018. (Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI, 7 August 2018, 2018-July:423-428)
Conference
In: Proceedings - 2017 30th International Conference on VLSI Design and 2017 16th International Conference on Embedded Systems, VLSID 2017, Proceedings - 2017 30th International Conference on VLSI Design and 2017 16th International Conference on Embedded Systems, VLSID 2017. (Proceedings - 2017 30th International Conference on VLSI Design and 2017 16th International Conference on Embedded Systems, VLSID 2017, 21 March 2017, :245-250)
검색 결과 제한하기
제한된 항목
[AR] Mambakam, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어