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)
  • 발행 : 2001.05.01