Modeling and automatic failure analysis of safety-critical systems using extended safecharts

Chen, Y.-R.Y.-R.ChenHsiung, P.-A.P.-A.HsiungSAO-JIE CHEN2018-09-102018-09-102007http://www.scopus.com/inward/record.url?eid=2-s2.0-38149017849&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/332167Modeling and automatic failure analysis of safety-critical systems using extended safechartsbook