학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 135건 | 목록 1~10
Conference
2019 IEEE Cybersecurity Development (SecDev) Cybersecurity Development (SecDev), 2019 IEEE. :161-174 Sep, 2019
Academic Journal
In Electronic Notes in Theoretical Computer Science 19 July 2007 176(3):21-35
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
Journal of Computer Security. 2004, Vol. 12 Issue 6, p865-891. 27p. 1 Diagram.
Academic Journal
Journal of the ACM; Jul1992, Vol. 39 Issue 3, p449-478, 30p
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
검색 결과 제한하기
제한된 항목
[AR] Zuck, Lenore D.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어