Optimization of system reliability by branch-and-bound
Evaluation of control mixer concept for reconfiguration of flight control system
Phased-mission analysis for evaluating the effectiveness of aerospace computing-systems
Failure mode, effect and criticality analysis
Mission effectiveness model for a system with several mission types
Complex system modelling with fault trees and stochastic processes
On fly-by-wire control system and statistical analysis of system performance
Dependability evaluation of integrated hardware/software systems