Proceedings of the Korean Nuclear Society Conference (한국원자력학회:학술대회논문집)
- 2001.05a
- /
- Pages.219-219
- /
- 2001
Application of Discrete Function and Software Control Flow to Dependability Assessment of Embedded Digital System
- Park, Jong-Gyun (Department of Nuclear Engineering Korea Advanced Institute of Science and Technology) ;
- Seong, Poong-Hyun (Department of Nuclear Engineering Korea Advanced Institute of Science and Technology)
- Published : 2001.05.01
Abstract
Keywords