학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 38건 | 목록 1~10
Conference
2024 IEEE/ACM 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) ICSE-SEIP Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2024 IEEE/ACM 46th International Conference on. :106-117 Apr, 2024
Conference
2022 IEEE Conference on Software Testing, Verification and Validation (ICST) ICST Software Testing, Verification and Validation (ICST), 2022 IEEE Conference on. :267-278 Apr, 2022
Conference
2021 10th Latin-American Symposium on Dependable Computing (LADC) Dependable Computing (LADC), 2021 10th Latin-American Symposium on. :01-08 Nov, 2021
Conference
2017 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2017. :176-179 Oct, 2017
검색 결과 제한하기
제한된 항목
[AR] Hajdu, Akos
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어