학술논문
'학술논문'
에서 검색결과 99건 | 목록
1~10
Conference
2023 IEEE International Conference on Cyber Security and Resilience (CSR) Cyber Security and Resilience (CSR), 2023 IEEE International Conference on. :212-218 Jul, 2023
Conference
2021 IEEE International Symposium on Technologies for Homeland Security (HST) Technologies for Homeland Security (HST), 2021 IEEE International Symposium on. :1-6 Nov, 2021
Conference
2019 IEEE International Symposium on Technologies for Homeland Security (HST) Technologies for Homeland Security (HST), 2019 IEEE International Symposium on. :1-6 Nov, 2019
Conference
2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) Pervasive Computing and Communications Workshops (PerCom Workshops), 2019 IEEE International Conference on. :967-972 Mar, 2019
Conference
2018 IEEE International Symposium on Technologies for Homeland Security (HST) Technologies for Homeland Security (HST), 2018 IEEE International Symposium on. :1-7 Oct, 2018
Academic Journal
Academic Journal
Book
Fitzgerald, John; Hayes, Ian J.; Tarlecki, Andrzej; Basin, David; Kuruma, Hironobu; Takaragi, Kazuo; Wolff, Burkhart
FM 2005: Formal Methods; 2005, p269-285, 17p
Academic Journal
Formal Aspects of Computing. March, 2007, Vol. 19 Issue 1, p63, 29 p.
Academic Journal
IEEE Micro. Nov-Dec, 2001, Vol. 21 Issue 6, p43, 7 p.
검색 결과 제한하기
제한된 항목
[AR] takaragi, Kazuo
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어