Architecture-Level Security Concerns in a Safety Critical System
연구 분야: Verification
학회: ACM SIGAda Ada Letters, Volume 39, Issue 1
초록
PDF of Powerpoint Slides
📄 논문 정보
| 발행 연도 | 2020년 |
|---|---|
| 인용수 | 4 |
| 출판 국가 | Panama |
| 사이트 | ACM |
| 좋아요 수 | 0 |