A formal correctness analysis method of EWF_net was given based on the analysis techniques of Petri-net.
英
美
在Petri网分析技术的基础上提出EWF_net的形式化的正确性分析方法.
目录
查词历史
英 汉