학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 136건 | 목록 1~10
Academic Journal
In: ACM Transactions on Embedded Computing Systems. (ACM Transactions on Embedded Computing Systems, 9 November 2023, 22(6))
Conference
In: HOTMOBILE 2024 - Proceedings of the 2024 25th International Workshop on Mobile Computing Systems and Applications, HOTMOBILE 2024 - Proceedings of the 2024 25th International Workshop on Mobile Computing Systems and Applications. (HOTMOBILE 2024 - Proceedings of the 2024 25th International Workshop on Mobile Computing Systems and Applications, 28 February 2024, :138)
Book
In: Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14499 LNCS:280-302)
Conference
In: CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. (CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 15 November 2023, :549-563)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, January 2022, 6(POPL))
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, August 2021, 57(2):121-156)
Conference
In: Proceedings - 2023 IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2023, Proceedings - 2023 IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2023. (Proceedings - 2023 IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2023, 2023, :1-11)
Book
In: Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14323 LNCS:126-144)
Book
In: Automated Deduction – CADE 29 - 29th International Conference on Automated Deduction, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14132 LNAI:170-189)
Book
In: Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13965 LNCS:18-40)
검색 결과 제한하기
제한된 항목
[AR] Rümmer, P.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어