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

IEEE Computer Society; IEEE; IEEE High-Assurance Systems Engineering Workshop

 
9780818676291: IEEE High-Assurance Systems Engineering Workshop: October 21-22, 1996 Niagara on the Lake, Ontario, Canada : Proceedings
Couverture souple
ISBN 10 : 0818676299 ISBN 13 : 9780818676291
Editeur : IEEE Computer Society Press,U.S., 1997

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
IEEE Computer Society Press,U.S.
Date d'édition
1997
Langue
anglais
ISBN 10 
0818676299
ISBN 13 
9780818676291
Reliure
Broché
Nombre de pages
112
Coordonnées du fabricant
non disponible
Personne responsable
non disponible