Using Penelope to Assess the Correctness of NASA Ada Software: A Demonstration of Formal Methods as a Counterpart to Testing
Download or Read eBook Using Penelope to Assess the Correctness of NASA Ada Software: A Demonstration of Formal Methods as a Counterpart to Testing PDF written by Carl T. Eichenlaub and published by . This book was released on 1993 with total page 168 pages. Available in PDF, EPUB and Kindle.
Author | : Carl T. Eichenlaub |
Publisher | : |
Total Pages | : 168 |
Release | : 1993 |
ISBN-10 | : NASA:31769000515851 |
ISBN-13 | : |
Rating | : 4/5 (51 Downloads) |
Book Synopsis Using Penelope to Assess the Correctness of NASA Ada Software: A Demonstration of Formal Methods as a Counterpart to Testing by : Carl T. Eichenlaub
Book excerpt: