한국경영정보학회 Asia Pacific Journal of Information Systems 제34권 제3호 2024.09 pp.929-956
6,700원
※ 기관로그인 시 무료 이용이 가능합니다.
Safety Properties based Scenario Generation for Model Checking Trampoline OS
보안공학연구지원센터(IJSIA) International Journal of Security and Its Applications Vol.7 No.3 2013.05 pp.121-132
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-