The Method of Failure Analysis for Safety-Critical System Software Based on FormalizationXiaobo Zhou, Qiao-Rui Du, Jin Fan et al.|Lecture notes in electrical engineering|2019Cited by 0