Proceedings, IEEE High-Assurance Systems Engineering Workshop, October 21-22, 1996, Niagara on the Lake, Ontario, Canada PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Proceedings, IEEE High-Assurance Systems Engineering Workshop, October 21-22, 1996, Niagara on the Lake, Ontario, Canada PDF full book. Access full book title Proceedings, IEEE High-Assurance Systems Engineering Workshop, October 21-22, 1996, Niagara on the Lake, Ontario, Canada by . Download full books in PDF and EPUB format.

Proceedings, IEEE High-Assurance Systems Engineering Workshop, October 21-22, 1996, Niagara on the Lake, Ontario, Canada

Proceedings, IEEE High-Assurance Systems Engineering Workshop, October 21-22, 1996, Niagara on the Lake, Ontario, Canada PDF Author:
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
ISBN:
Category : Computers
Languages : en
Pages : 308

Book Description
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.
➤