Proceedings of the Korean Nuclear Society Conference (한국원자력학회:학술대회논문집)
- 2003.05a
- /
- 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)
- Published : 2003.05.01
Abstract
Keywords