TY  - SER
AU  - Chung, Dae-Won
TI  - Quantitative Reliability Assessment  for  Safety Critical System Software
KW  - Software Reliability
KW  - Software Verification and Validation
KW  - Quantitative
ER  -