학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 104건 | 목록 1~10
Report
Principles of Systems Design 2022, Lecture Notes in Computer Science, vol 13660. Springer, Cham
Conference
2022 IEEE International Conference on Big Data (Big Data) Big Data (Big Data), 2022 IEEE International Conference on. :4758-4767 Dec, 2022
Conference
2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :255-260 Oct, 2022
Conference
2022 IEEE Secure Development Conference (SecDev) SECDEV Secure Development Conference (SecDev), 2022 IEEE. :52-58 Oct, 2022
Conference
2021 Formal Methods in Computer Aided Design (FMCAD) Computer Aided Design (FMCAD), 2021 Formal Methods in. :280-284 Oct, 2021
Conference
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2020 35th IEEE/ACM International Conference on. :1344-1348 Sep, 2020
Conference
2020 International Conference on Cyber Situational Awareness, Data Analytics and Assessment (CyberSA) Cyber Situational Awareness, Data Analytics and Assessment (CyberSA),. :1-8 Jun, 2020
Report
EPTCS 311, 2019, pp. 37-41
Report
EPTCS 254, 2017, pp. 1-14
검색 결과 제한하기
제한된 항목
[Author] Reger, Giles
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어