Proceedings, IEEE High-Assurance Systems Engineering Workshop, October 21-22, 1996, Niagara on the Lake, Ontario, Canada
| Author | : |
| Publisher | : Institute of Electrical & Electronics Engineers(IEEE) |
| Total Pages | : 308 |
| Release | : 1997 |
| ISBN-10 | : STANFORD:36105020486168 |
| ISBN-13 | : |
| Rating | : 4/5 (68 Downloads) |
Book Synopsis Proceedings, IEEE High-Assurance Systems Engineering Workshop, October 21-22, 1996, Niagara on the Lake, Ontario, Canada by :
Download or read book Proceedings, IEEE High-Assurance Systems Engineering Workshop, October 21-22, 1996, Niagara on the Lake, Ontario, Canada written by and published by Institute of Electrical & Electronics Engineers(IEEE). This book was released on 1997 with total page 308 pages. Available in PDF, EPUB and Kindle. Book excerpt: This text explores high-assurance software design and development. It includes: specification and testing of high-assurance systems; quality and high assurance; concurrency and high-assurance; high-assurance execution environments; security; and reliability and high-assurance.
