An improved formal failure analysis approach for safety-critical system based on MBSA
Chen, Lu, Jiao, Jian, Wei, Qianxin, Zhao, TingdiLanguage:
english
Journal:
Engineering Failure Analysis
DOI:
10.1016/j.engfailanal.2017.06.034
Date:
June, 2017
File:
PDF, 2.06 MB
english, 2017