Subject
Industrial and Manufacturing Engineering,Safety, Risk, Reliability and Quality
Reference54 articles.
1. Model‑based safety assessment for conceptual aircraft systems design;Gradel;CEAS Aeronaut J,2022
2. AADL-based safety analysis using formal methods applied to aircraft digital systems;Stewart;Reliab Eng Syst Saf,2021
3. Spacecraft early design validation using formal methods;Bozzano;Reliab Eng Syst Saf,2014
4. A functional model-based approach for ship systems safety and reliability analysis: application to a cruise ship lubricating oil system;Dionysiou;Proc Inst Mech Eng Part M J Eng Marit Environ,2022
5. Combined automotive safety and security pattern engineering approach;Martina;Reliab Eng Syst Saf,2020
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献