退出
我的积分:
中文文献批量获取
外文文献批量获取
周建涛; 史美林; 叶新铭;
清华大学计算机科学与技术系,北京,100084;
内蒙古大学计算机学院,呼和浩特,010021;
工作流; 过程建模; 验证; Petri网; 合理性; 化简;
机译:使用图形化软件过程建模形式化对软件工程过程进行形式化
机译:工业服务机器人技术应用的手工工作流程的形式化建模
机译:包含操作者对过程执行流的干扰的计算机化过程形式化验证的状态令牌Petri网建模方法
机译:工作流过程建模和分析的三种形式化方法的比较
机译:产品建模(PPM)方法的新形式化和分析过程及其在预制混凝土行业中的应用。
机译:使用Modelica图形表示和过程分析形式化对制造过程绩效进行建模和优化
机译:工作流中的系统分析方法的分类和评估上下文:结构化系统分析设计方法(ssaDm),统一建模语言(UmL),统一过程,软系统方法(ssm)和组织过程建模(Opm
机译:在多级涡轮压缩机中的水蒸汽组合过程中压缩工作流体的过程包括在各个压缩机阶段中通过向工作流体中添加冷却剂来进行中冷
机译:快速工作流过程建模的方法
机译:用于利用对安装过程进行建模的工作流来安装程序的至少一部分的系统,方法和计算机程序产品
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。