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

Bibliographic Information

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

sponsored by IEEE Computer Society, Technical Committee on Distriburted Computing ; contributions from Hitachi Software Engineering Company, Honeywell Technology Center

IEEE Computer Society Press, c1996

Other Title

96TB100076

Available at  / 2 libraries

Search this Book/Journal

Note

"IEEE order plan catalog number 96TB100076"--T.p. verso

Description and Table of Contents

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.

by "Nielsen BookData"

Details

  • NCID
    BA42705516
  • ISBN
    • 0818676299
  • Country Code
    us
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Los Alamitos, Calif.
  • Pages/Volumes
    xiii, 176 p.
  • Size
    28 cm
Page Top