Compass ' 94 : Proceedings of the Ninth Annual Conference on Computer Assurance 1994 /
Publisher: Piscataway IEEE Service Center 1994Description: 269pISBN: 0780318552DDC classification: 004,PRO
Contents:
Safety 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).
| Item type | Current location | Home library | Shelving location | Call number | URL | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|---|
Book
|
Military College of Signals (MCS) | Military College of Signals (MCS) | General Stacks | 004,PRO (Browse shelf) | Link to resource | Available | Almirah No.1, Shelf No.5 | MCS27877 |
Total holds: 0
Safety 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).
Click on an image to view it in the image viewer
There are no comments on this title.