%0 Journal Article %1 journals/jsjkx/WangSHMLLL15 %A Wang, Fei %A Shen, Guohua %A Huang, Zhiqiu %A Ma, Lin %A Liu, Chang %A Li, Haifeng %A Liao, Lili %D 2015 %J 计算机科学 %K dblp %N 12 %P 71-75 %T 一种结合线性时序逻辑和故障树的软件安全验证方法 (Method Combining Linear Temporal Logic and Fault Tree for Software Safety Verification). %U http://dblp.uni-trier.de/db/journals/jsjkx/jsjkx42.html#WangSHMLLL15 %V 42

@article{journals/jsjkx/WangSHMLLL15, added-at = {2020-04-27T00:00:00.000+0200}, author = {Wang, Fei and Shen, Guohua and Huang, Zhiqiu and Ma, Lin and Liu, Chang and Li, Haifeng and Liao, Lili}, biburl = {https://www.bibsonomy.org/bibtex/2a832260a1fdb64ebc4cc38ae8f5fe2a8/dblp}, ee = {http://www.jsjkx.com/EN/Y2015/V42/I12/71}, interhash = {06978f5e4c5a75ab926c5d012611e54d}, intrahash = {a832260a1fdb64ebc4cc38ae8f5fe2a8}, journal = {计算机科学}, keywords = {dblp}, number = 12, pages = {71-75}, timestamp = {2020-04-28T12:16:05.000+0200}, title = {一种结合线性时序逻辑和故障树的软件安全验证方法 (Method Combining Linear Temporal Logic and Fault Tree for Software Safety Verification).}, url = {http://dblp.uni-trier.de/db/journals/jsjkx/jsjkx42.html#WangSHMLLL15}, volume = 42, year = 2015 }