학술논문
'학술논문'
에서 검색결과 252건 | 목록
1~10
Academic Journal
Academic Journal
Higher Education, Skills and Work-Based Learning, 2024, Vol. 14, Issue 4, pp. 908-919.
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
Nienhuis, Kyndylan; Joannou, Alexandre; Bauereiss, Thomas; Fox, Anthony; Roe, Michael; Campbell, Brian; Naylor, Matthew; Norton, Robert M.; Moore, Simon W.; Neumann, Peter G.; Stark, Ian; Watson, Robert N. M.; Sewell, Peter
2020 IEEE Symposium on Security and Privacy (SP) Security and Privacy (SP), 2020 IEEE Symposium on. :1003-1020 May, 2020
Periodical
Watson, Robert N. M.; Chisnall, David; Clarke, Jessica; Davis, Brooks; Filardo, Nathaniel Wesley; Laurie, Ben; Moore, Simon W.; Neumann, Peter G.; Richardson, Alexander; Sewell, Peter; Witaszczyk, Konrad; Woodruff, Jonathan
IEEE Security & Privacy; 2024, Vol. 22 Issue: 4 p50-61, 12p
Conference
2021 Formal Methods in Computer Aided Design (FMCAD) Computer Aided Design (FMCAD), 2021 Formal Methods in. :12-12 Oct, 2021
Academic Journal
Watson, Robert N. M.; Chisnall, David; Clarke, Jessica; Davis, Brooks; Filardo, Nathaniel Wesley; Laurie, Ben; Moore, Simon W.; Neumann, Peter G.; Richardson, Alexander; Sewell, Peter; Witaszczyk, Konrad; Woodruff, Jonathan
검색 결과 제한하기
제한된 항목
[AR] Sewell, Peter
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어