학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 68건 | 목록 1~10
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, April 2024, 26(2):229-245)
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, 14500 LNCS:187-209)
Book
In: Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14380 LNCS:94-118)
Book
In: iFM 2023 - 18th International Conference, iFM 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14300 LNCS:v-vi)
Academic Journal
In: Science of Computer Programming. (Science of Computer Programming, 1 November 2021, 211)
Conference
In: Transportation Research Procedia, 2022 Conference Proceedings Transport Research Arena, TRA Lisbon 2022. (Transportation Research Procedia, 2023, 72:1264-1271)
Conference
In: Proceedings - 2023 21st ACM/IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Proceedings - 2023 21st ACM/IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023. (Proceedings - 2023 21st ACM/IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, 2023, :12-22)
Book
In: Designing Modern Embedded Systems: Software, Hardware, and Applications - 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Proceedings. (IFIP Advances in Information and Communication Technology, 2023, 669:16-27)
Conference
In: Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation, ICST 2023, Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation, ICST 2023. (Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation, ICST 2023, 2023, :25-36)
Conference
In: Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), Software Engineering 2023 - Fachtagung des GI-Fachbereichs Softwaretechnik. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), 2023, P-332:137-138)
검색 결과 제한하기
제한된 항목
[AR] Herber, P.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어