연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (3건)


Deception in Network Defences Using Unpredictability
키워드: #detection #probabilistic #attacker #configuring #deceiving
파트: Safety | 연도: 2021
Learning Concise Models from Long Execution Traces
키워드: #algorithm #software #testing #automata #synthesis
파트: Verification | 연도: 2020