任务网络到时间自动机的等价模型验证

检索

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

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

任务网络到时间自动机的等价模型验证

张磊 , 马光胜, 修建新

Equivalent Model Verification of Task Network to Timed Automata

ZHANG Lei- , MA Guang-Qing, XIU Jian-Xin

计算机工程 . 2012, (13): 286 -288 . DOI: 10.3969/j.issn.1000-3428.2012.13.086