A formal correctness analysis method of EWF_net was given based on the analysis techniques of Petri-net.

 
  • 在Petri网分析技术的基础上提出EWF_net的形式化的正确性分析方法.
今日热词
目录 附录 查词历史