학술논문
'학술논문'
에서 검색결과 1,036건 | 목록
1~10
Academic Journal
In Applied Energy 15 December 2023 352
Conference
2023 IEEE/CVF International Conference on Computer Vision (ICCV) ICCV Computer Vision (ICCV), 2023 IEEE/CVF International Conference on. :4597-4606 Oct, 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. :29-38 May, 2023
Conference
Guarrera, Matteo; Jin, Baihong; Lin, Tung-Wei; Zuluaga, Maria A.; Chen, Yuxin; Sangiovanni-Vincentelli, Alberto
2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) CVPRW Computer Vision and Pattern Recognition Workshops (CVPRW), 2022 IEEE/CVF Conference on. :2836-2845 Jun, 2022
Conference
Kim, Edward; Shenoy, Jay; Junges, Sebastian; Fremont, Daniel J.; Sangiovanni-Vincentelli, Alberto; Seshia, Sanjit A.
2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS) ICCPS Cyber-Physical Systems (ICCPS), 2022 ACM/IEEE 13th International Conference on. :34-45 May, 2022
Academic Journal
Vazquez-Chanlatte, Marcell J.; Ghosh, Shromona; Raman, Vasumathi; Sangiovanni-Vincentelli, Alberto; Seshia, Sanjit A.
In IFAC PapersOnLine 2018 51(16):7-12
검색 결과 제한하기
제한된 항목
[AR] Sangiovanni-Vincentelli, Alberto
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어