Formal Design and Verification of a Reliable Computing Platform for Real-time Control. Phase 2: Results
Download or Read eBook Formal Design and Verification of a Reliable Computing Platform for Real-time Control. Phase 2: Results PDF written by and published by . This book was released on 1992 with total page 164 pages. Available in PDF, EPUB and Kindle.
| Author | : |
| Publisher | : |
| Total Pages | : 164 |
| Release | : 1992 |
| ISBN-10 | : NASA:31769000596646 |
| ISBN-13 | : |
| Rating | : 4/5 (46 Downloads) |
Book Synopsis Formal Design and Verification of a Reliable Computing Platform for Real-time Control. Phase 2: Results by :
Book excerpt:
