Binary Logic State Transition Oriented Formal General Reliability Model
ZHOU Yi-zhou (周一舟), REN Yi (任 羿), LIU Lin-lin* (刘林林),MA Zheng (马 政), WANG Zi-li
Binary Logic State Transition Oriented Formal General Reliability Model
ZHOU Yi-zhou (周一舟), REN Yi (任 羿), LIU Lin-lin* (刘林林),MA Zheng (马 政), WANG Zi-li (王自力)
上海交通大学学报（英文版）
.
2015, (4): 482
-488
.
DOI: 10.1007/s12204-015-1654-3