基于交互学习的柔性工作流形式化验证方法研究

检索

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

邢建川;李志蜀;李清

Research on Formal Verification Methods in Flexible Workflow Based on Interaction Learn

XING Jianchuan; LI Zhishu; LI Qing

计算机工程 . 2007, (07): 36 -37 . DOI: 10.3969/j.issn.1000-3428.2007.07.013