학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 11건 | 목록 1~10
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, August 2023, 25(4):453-479)
Book
In: Enterprise Design, Operations, and Computing. EDOC 2023 Workshops - IDAMS, iRESEARCH, MIDas4CS, SoEA4EE, EDOC Forum, Demonstrations Track and Doctoral Consortium, 2023, Revised Selected Papers. (Lecture Notes in Business Information Processing, 2024, 498 LNBIP:247-264)
Conference
In: Proceedings - International Symposium on Software Reliability Engineering, ISSRE, Proceedings - 2023 IEEE 34th International Symposium on Software Reliability Engineering, ISSRE 2023. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE, 2023, :742-751)
Conference
In: CEUR Workshop Proceedings, FMDT 2023 - Proceedings of the Workshop on Applications of Formal Methods and Digital Twins, co-located with 25th International Symposium on Formal Methods, FM 2023. (CEUR Workshop Proceedings, 2023, 3507)
Book
In: Runtime Verification - 23rd International Conference, RV 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14245 LNCS:327-338)
Book
In: Runtime Verification - 23rd International Conference, RV 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14245 LNCS:403-427)
Book
In: Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13991 LNCS:173-194)
Book
In: Model Checking Software - 29th International Symposium, SPIN 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13872 LNCS:59-80)
Book
In: Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13800 LNCS:148-166)
Conference
In: Proceedings of the ACM Symposium on Applied Computing, Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022. (Proceedings of the ACM Symposium on Applied Computing, 25 April 2022, :1857-1860)
검색 결과 제한하기
제한된 항목
[AR] Soueidi, C.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어