| 000 | 00676 a2200169 4500 | ||
|---|---|---|---|
| 003 | Nust | ||
| 005 | 20220721155021.0 | ||
| 020 | _a0780318552 | ||
| 040 | _cNust | ||
| 082 | _a004,PRO | ||
| 100 |
_aIEEE _9596 |
||
| 245 |
_aCompass ' 94 : _bProceedings of the Ninth Annual Conference on Computer Assurance 1994 / |
||
| 260 |
_aPiscataway _bIEEE Service Center _c1994 |
||
| 300 | _a269p | ||
| 505 | _aSafety 1 (Page-1), Use and Assessment of Formal Methods (Page -27), Alternatives to Formal Verification (Page -67), Fault Tolerance (Page- 91), Concurrency and Real-Time Systems (Page -121),Software Test ability for Critical Systems (Page -163). | ||
| 942 |
_2ddc _cBK _k004,PRO |
||
| 999 |
_c176198 _d176198 |
||