On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers

Ann T. Tai, Kishor S. Trivedi, Herbert Hecht. On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers. In 2nd High-Assurance Systems Engineering Workshop (HASE 97), August 11-12, 1997, Washington, DC, USA, Proceedings. pages 2-13, IEEE Computer Society, 1997. [doi]

Authors

Ann T. Tai

This author has not been identified. Look up 'Ann T. Tai' in Google

Kishor S. Trivedi

This author has not been identified. Look up 'Kishor S. Trivedi' in Google

Herbert Hecht

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