基于UPPAAL的数据关联时序有限自动机模型验证

检索

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

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

基于UPPAAL的数据关联时序有限自动机模型验证

梁冰;刘群

Model Verification of Data Association Temporal Finite Automata Based on UPPAAL

LIANG Bing; LIU Qun

计算机工程 . 2007, (22): 6 -8,11 . DOI: 10.3969/j.issn.1000-3428.2007.22.003