Browse "CS-Theses_Master(석사논문) " by Subject Model-checking▼aSystem of Systems▼aCybersecurity▼aVulnerability identification▼aAir traffic control
Showing results 1 to 1 of 1
| Cybersecurity vulnerability detection in system of systems using model-checking technique = 모델 체킹을 이용한 시스템 오브 시스템즈 사이버보안 취약성 탐지link Thwe, May Myat; Bae, Doo-Hwan; et al, 한국과학기술원, 2022 |
Discover
Type
- 2,591 Thesis(Master)
- 1 Thesis(Ph.D)