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]
Abstract is missing.