Cited By
View all- Zhang TJiang YYe JJing CQu H(2014)An AADL Model-Based Safety Analysis Method for Flight Control SoftwareProceedings of the 2014 International Conference on Computational Intelligence and Communication Networks10.1109/CICN.2014.240(1148-1152)Online publication date: 14-Nov-2014
- Idirin MAizpurua XVillaro ALegarda JMelendez J(2011)Implementation Details and Safety Analysis of a Microcontroller-based SIL-4 Software VoterIEEE Transactions on Industrial Electronics10.1109/TIE.2010.206247158:3(822-829)Online publication date: Mar-2011
- He XTao X(2011)A software safety test approach based on FTA and Bayesian networks2011 Prognostics and System Health Managment Confernece10.1109/PHM.2011.5939497(1-5)Online publication date: May-2011