IEEE - Institute of Electrical and Electronics Engineers, Inc. - T-VEC: a tool for developing critical systems

Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96

Author(s): Blackburn, M.R. ; Busser, R.D.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Gaithersburg, MD, USA, USA
Conference Date: 17 June 1996
Page(s): 237 - 249
ISBN (Paper): 0-7803-3390-X
DOI: 10.1109/CMPASS.1996.507891
Regular:

This paper describes the specification-based testing and analysis tools, and associated processes, that were used to develop and certify safety-critical avionics systems in an industrial... View More

Advertisement