학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 62건 | 목록 1~10
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. :39-43 May, 2023
Conference
2019 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) Security and Privacy Workshops (EuroS&PW), 2019 IEEE European Symposium on. :247-256 Jun, 2019
Academic Journal
Baylor University Medical Center Proceedings (BAYLOR UNIV MED CENT PROC), Jul2022; 35(4): 520-521. (2p)
Academic Journal
Reviews in Cardiovascular Medicine; Jun2020, Vol. 21 Issue 2, p297-301, 5p
검색 결과 제한하기
제한된 항목
[AR] Sharma, Arindam
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어