학술논문
'학술논문'
에서 검색결과 38건 | 목록
1~10
Conference
Mao, Ke; Ahs, Cons T; Cela, Sopot; Distefano, Dino; Gardner, Nick; Grigore, Radu; Gustafsson, Per; Hajdu, Akos; Kapus, Timotej; Marescotti, Matteo; Sampaio, Gabriela Cunha; Suzanne, Thibault
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
Mao, Ke; Kapus, Timotej; Petrou, Lambros; Hajdu, Akos; Marescotti, Matteo; Loscher, Andreas; Harman, Mark; Distefano, Dino
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
Academic Journal
Horváth, Benedek; Molnár, Vince; Graics, Bence; Hajdu, Ákos; Ráth, István; Horváth, Ákos; Karban, Robert; Trancho, Gelys; Micskei, Zoltán
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)
주제어
언어