Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering

Joanne Bechta Dugan, Ganesh J. Pai, Hong Xu. Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering. In Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA. pages 245-255, IEEE Computer Society, 2007. [doi]

Abstract

Abstract is missing.