학술논문
'학술논문'
에서 검색결과 467건 | 목록
1~10
Academic Journal
In Artificial Intelligence December 2023 325
Conference
2023 62nd IEEE Conference on Decision and Control (CDC) Decision and Control (CDC), 2023 62nd IEEE Conference on. :8306-8311 Dec, 2023
Conference
2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :306-317 Oct, 2023
Conference
2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC) Systems, Man, and Cybernetics (SMC), 2023 IEEE International Conference on. :4271-4276 Oct, 2023
Periodical
Liu, Shengzhong; Yao, Shuochao; Fu, Xinzhe; Tabish, Rohan; Yu, Simon; Bansal, Ayoosh; Yun, Heechul; Sha, Lui; Abdelzaher, Tarek
Report
Bansal, Ayoosh; Zhao, Yang; Zhu, James; Cheng, Sheng; Gu, Yuliang; Yoon, Hyung-Jin; Kim, Hunmin; Hovakimyan, Naira; Sha, Lui
AIAA SCITECH 2024 Forum, p. 1167
Academic Journal
In Journal of Systems Architecture March 2020 104
Conference
2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE) ISSRE Software Reliability Engineering (ISSRE), 2022 IEEE 33rd International Symposium on. :61-72 Oct, 2022
Academic Journal
In IFAC PapersOnLine 2019 52(12):423-428
검색 결과 제한하기
제한된 항목
[AR] Sha, Lui
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어