학술논문
'학술논문'
에서 검색결과 4건 | 목록
1~10
Conference
Wesley Filardo, Nathaniel; Gutstein, Brett F.; Woodruff, Jonathan; Ainsworth, Sam; Paul-Trifu, Lucian; Davis, Brooks; Xia, Hongyan; Tomasz Napierala, Edward; Richardson, Alexander; Baldwin, John; Chisnall, David; Clarke, Jessica; Gudka, Khilan; Joannou, Alexandre; Theodore Markettos, A.; Mazzinghi, Alfredo; Norton, Robert M.; Roe, Michael; Sewell, Peter; Son, Stacey; Jones, Timothy M.; Moore, Simon W.; Neumann, Peter G.; Watson, Robert N. M.
2020 IEEE Symposium on Security and Privacy (SP) Security and Privacy (SP), 2020 IEEE Symposium on. :608-625 May, 2020
Conference
2014 24th International Conference on Field Programmable Logic and Applications (FPL) Field Programmable Logic and Applications (FPL), 2014 24th International Conference on. :1-8 Sep, 2014
Academic Journal
Chisnall, D.; Gudka, K.; Brazdil, D.; Joannou, A.; Woodruff, J.; Theodore Markettos, A.; Norton, R.; Son, S.; Roe, M.; Moore, S.W.; Davis, B.; Neumann, P.G.; Watson, R.N.M.; Edward Maste, J.; Laurie, B.
In: ACM SIGPLAN Notices . (ACM SIGPLAN Notices, 4 April 2017, 52(4):569-583)
Conference
In: Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT , Proceedings - Tenth Annual IEEE International High Level Design Validation and Test Workshop, HLDVT'05. (Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT, 2005, 2005:211-218)
검색 결과 제한하기
제한된 항목
[AR] Theodore Markettos, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어