학술논문
'학술논문'
에서 검색결과 5건 | 목록
1~10
Academic Journal
In: Science Education International . (Science Education International, 2022, 33(3):313-322)
Conference
In: 2022 17th Annual System of Systems Engineering Conference, SOSE 2022 , 2022 17th Annual System of Systems Engineering Conference, SOSE 2022. (2022 17th Annual System of Systems Engineering Conference, SOSE 2022, 2022, :333-338)
Attack-driven Test Case Generation Approach using Model-checking Technique for Collaborating Systems
Conference
In: Proceedings - 2021 IEEE/ACM 2nd International Workshop on Engineering and Cybersecurity of Critical Systems, EnCyCriS 2021 , Proceedings - 2021 IEEE/ACM 2nd International Workshop on Engineering and Cybersecurity of Critical Systems, EnCyCriS 2021. (Proceedings - 2021 IEEE/ACM 2nd International Workshop on Engineering and Cybersecurity of Critical Systems, EnCyCriS 2021, June 2021, :1-8)
Conference
In: Proceedings - Asia-Pacific Software Engineering Conference, APSEC , Proceedings - 2020 27th Asia-Pacific Software Engineering Conference, APSEC 2020. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC, December 2020, 2020-December:336-345)
Conference
In: Procedia Computer Science , International Conference on Computational Modelling and Security, CMS 2016. (Procedia Computer Science, 2016, 85:558-570)
검색 결과 제한하기
제한된 항목
[AR] Mihret, Z.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어