退出
我的积分:
中文文献批量获取
外文文献批量获取
ZHAO Jun-feng; 赵俊峰; ZHOU Jian-tao; 周建涛; XING Guan-nan; 邢冠男;
中国计算机学会;
Petri网; 统一建模语言活动图; 转换规则;
机译:基于重写的基于逻辑的语义和UML活动图分析:图形转换方法
机译:通过UML活动图和控制解释的Petri网在逻辑控制器设计中进行异常处理
机译:UML活动图中具有宏位置的层次解释控制Petri网的映射
机译:UML活动图到事件B:一种基于制度理论的模型转换方法
机译:使用时间Petri网对实时系统进行建模和实现。
机译:使用任务转换方法适应和实施难民/移民界的育儿课程:研究方案
机译:从ETSC到定时Petri网的转换方法,以改进基于矩阵的离散事件控制器及其统一支持系统
机译:残差与二元系统有效转换方法的研究
机译:通过任务排序实现UML活动图
机译:研究Petri网的装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。