한국원자력학회:학술대회논문집 (Proceedings of the Korean Nuclear Society Conference)
- 한국원자력학회 2003년도 춘계학술발표대회 요약집
- /
- Pages.85-85
- /
- 2003
Verification and Testing of the RTOS for safety-critical embedded systems
- Lee Na Young (Seoul National University) ;
- Kim Jin Hyun (Korea University) ;
- Choi Sin Young (Korea University) ;
- Sung Ah Young (Ewha Womans University) ;
- Choi Byung Ju (Ewha Womans University) ;
- Lee Jang Soo (Korea Atomic Energy Research Institute)
- 발행 : 2003.05.01