基于时态失效逻辑的割序集模型量化方法

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于时态失效逻辑的割序集模型量化方法

王波, 刘东, 李艺

Quantification Method of Cut Sequence Set Model Based on Temporal Failure Logic

WANG Bei, LIU Dong, LI Yi

计算机工程 . 2012, (20): 268 -271 . DOI: 10.3969/j.issn.1000-3428.2012.20.069