학술논문
'학술논문'
에서 검색결과 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)
주제어
언어