학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 113건 | 목록 1~10
Conference
2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :88-99 Apr, 2024
Conference
2024 IEEE 18th International Conference on Semantic Computing (ICSC) ICSC Semantic Computing (ICSC), 2024 IEEE 18th International Conference on. :77-80 Feb, 2024
Conference
2022 Annual Reliability and Maintainability Symposium (RAMS) Reliability and Maintainability Symposium (RAMS), 2022 Annual. :1-8 Jan, 2022
Conference
2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2021 IEEE/AIAA 40th. :1-10 Oct, 2021
Conference
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2020 IEEE/AIAA 39th. :1-9 Oct, 2020
Conference
2020 Annual Reliability and Maintainability Symposium (RAMS) Reliability and Maintainability Symposium (RAMS), 2020 Annual. :1-6 Jan, 2020
Conference
2022 IEEE 16th International Conference on Semantic Computing (ICSC) ICSC Semantic Computing (ICSC), 2022 IEEE 16th International Conference on. :173-174 Jan, 2022
Conference
2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2019 IEEE/AIAA 38th. :1-10 Sep, 2019
Conference
2019 IEEE 13th International Conference on Semantic Computing (ICSC) Semantic Computing (ICSC), 2019 IEEE 13th International Conference on. :361-366 Jan, 2019
검색 결과 제한하기
제한된 항목
[AR] Moitra, Abha
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어