000 | 00510nab a2200145Ia 4500 | ||
---|---|---|---|
008 | 230808s2007 |||||||f |||| 00| 0 eng d | ||
100 |
_aChung, Dae-Won _9764682 |
||
245 | 0 | _aQuantitative Reliability Assessment for Safety Critical System Software | |
300 | _a386-390 p. | ||
650 |
_aSoftware Reliability _9763364 |
||
650 |
_aSoftware Verification and Validation _9764683 |
||
650 |
_aQuantitative _9703470 |
||
773 |
_d2007 _tJournal of Electrical Engineering and Technology _x19750102 |
||
942 |
_cART _o51 _pABUL KALAM Library |
||
999 |
_c738586 _d738586 |