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