보안공학연구지원센터(IJHIT) International Journal of Hybrid Information Technology Vol.9 No.12 2016.12 pp.175-186
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Verication of Embedded Real-Time Systems Using Symbolic Model Checking : A Case Study
보안공학연구지원센터(IJHIT) International Journal of Hybrid Information Technology Vol.6 No.6 2013.11 pp.203-216
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
[NRF 연계] 생화학분자생물학회 Experimental and Molecular Medicine Vol.56 2024.01 pp.600-615
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[NRF 연계] 연세대학교 의과대학 Yonsei Medical Journal Vol.57 No.4 2016.07 pp.1006-1015
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Identification and characterization of scirr1, a novel geneup-regulated after spinal cord injury
[NRF 연계] 생화학분자생물학회 Experimental and Molecular Medicine Vol.39 No.3 2007.06 pp.255-266
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-