Architecture-Level Security Concerns in a Safety Critical System


연구 분야: Verification



학회: ACM SIGAda Ada Letters, Volume 39, Issue 1


초록

PDF of Powerpoint Slides


Author Profile
Sam Procter

Carnegie Mellon University Pittsburgh PA USA

Panama

📄 논문 정보

발행 연도 2020년
인용수 4
출판 국가 Panama
사이트 ACM
좋아요 수 0

연관 논문 목록 (0건)