학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 161건 | 목록 1~10
Conference
2019 IEEE Cybersecurity Development (SecDev) Cybersecurity Development (SecDev), 2019 IEEE. :161-174 Sep, 2019
Report
EPTCS 222, 2016, pp. 30-44
Conference
Proceedings of the ACM Special Interest Group on Data Communication. :227-240
Conference
2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design Formal Methods and Models for Co-Design, 2008. MEMOCODE 2008. 6th ACM/IEEE International Conference on. :187-198 Jun, 2008
Conference
Formal Methods in Computer Aided Design (FMCAD'07) Formal Methods in Computer Aided Design, 2007. FMCAD '07. :37-44 Nov, 2007
Academic Journal
Electronic Proceedings in Theoretical Computer Science, Vol 222, Iss Proc. EXPRESS/SOS 2016, Pp 30-44 (2016)
Conference
Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security. :59-70
Conference
Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation. :164-180
Conference
Proceedings of the 8th ACM conference on Computer and Communications Security. :186-195
Academic Journal
International Journal on Software Tools for Technology Transfer. April 2015 17(2):121-123
검색 결과 제한하기
제한된 항목
[검색어] Zuck, Lenore D.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어