학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 98건 | 목록 1~10
Conference
2023 IEEE 31st International Requirements Engineering Conference Workshops (REW) REW Requirements Engineering Conference Workshops (REW), 2023 IEEE 31st International. :309-315 Sep, 2023
Conference
2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2023 IEEE/ACM 11th International Conference on. :18-28 May, 2023
Conference
2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C) ICSA-C Software Architecture Companion (ICSA-C), 2023 IEEE 20th International Conference on. :86-90 Mar, 2023
Conference
2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2022 IEEE/ACM 10th International Conference on. :80-90 May, 2022
Conference
2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) SEAMS Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2021 International Symposium on. :245-251 May, 2021
Conference
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2021 IEEE/ACM 9th International Conference on. :97-110 May, 2021
Conference
2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC) Systems, Man, and Cybernetics (SMC), 2020 IEEE International Conference on. :1907-1914 Oct, 2020
Conference
2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2020 IEEE/ACM 8th International Conference on. :55-65 May, 2020
검색 결과 제한하기
제한된 항목
[AR] Bersani, Marcello M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어