验证、确认和认定相关硕士博士期刊学术论文

验证、确认和认定相关论文

针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logicof action,TLA)的事件图模型形式......

期刊