Digital Library
Search: "[ keyword: Assurance ]" (9)
고신뢰 드론 시스템을 위한 스케줄링 측면에서의 서비스 거부 공격 완화 방안 연구
곽지원,
강수영,
김승주,
Vol. 29, No. 4, pp. 821-834,
8월.
2019
10.13089/JKIISC.2019.29.4.821
주제어: High-Assurance, Formal specification, Verification, denial of service, drone system
10.13089/JKIISC.2019.29.4.821
주제어: High-Assurance, Formal specification, Verification, denial of service, drone system