退出
我的积分:
中文文献批量获取
外文文献批量获取
王远; 范玉顺;
清华大学,自动化系,北京,100084;
工作流; 时序约束; 验证; 时序逻辑;
机译:一种基于Petri网的工作流过程模型正确性的有效验证方法(英文)
机译:一种基于Petri网的工作流过程模型正确性的有效验证方法
机译:管理工作流模型和标准之间的交叉引用关系的示例系统:建筑生产中工作流分析和计划技术的研发
机译:基于时序约束Petri网的时间工作流模型的研究与应用
机译:多主体工作流模型(MAWM):专为中国业务流程设计的工作流模型。
机译:端到端全基因组测序工作流程用于单核细胞增生李斯特菌和肠炎沙门氏菌来源追踪的验证方法
机译:mOsaIC的实施建议:用于分析富集的工作流架构。在分布式模型中实现编排分析的一致性方法的分析和建议。
机译:逻辑电路的时序约束模型的生成方法,逻辑电路的时序约束模型的生成程序以及使用时序约束模型的时序驱动布局方法
机译:用于生成逻辑电路的时序约束模型的方法和程序以及采用时序约束模型的时序驱动布局方法
机译:基于工作流的合作网络分析方法及其系统,用于通过分析现有工作流过程模型来分析人力资源,费用和工作合作度
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。