Digital Library


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