System Requirements and Analysis Issues for High Assurance Systems

Gary Johnson, John Calvert, Kelly J. Hayhurst, John Janeri, Herbert Hecht. System Requirements and Analysis Issues for High Assurance Systems. In 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE 98), 13-14 November 1998, Washington, D.C, USA, Proceedings. pages 60, IEEE Computer Society, 1998. [doi]

Authors

Gary Johnson

This author has not been identified. Look up 'Gary Johnson' in Google

John Calvert

This author has not been identified. Look up 'John Calvert' in Google

Kelly J. Hayhurst

This author has not been identified. Look up 'Kelly J. Hayhurst' in Google

John Janeri

This author has not been identified. Look up 'John Janeri' in Google

Herbert Hecht

This author has not been identified. Look up 'Herbert Hecht' in Google