退出
我的积分:
中文文献批量获取
外文文献批量获取
常弘; 茹锋; 薛钧义;
西安交通大学电气工程学院;
江苏省电力科学研究院;
操作语义; 统一建模语言; Petri网; 可扩展的标志性语言; 语义信息模型; 变电站自动化;
机译:UML和Petri网:实现嵌入式系统需求的形式化
机译:利用Petri网理论实现软系统模型的形式化
机译:向Petri网转换的UML状态图形式化方法。
机译:Petri网的扩展,用于描述流程图流并行编程语言的操作语义
机译:高级Petri网的形式化建模和分析技术。
机译:使用高级Petri网建模免疫系统反应的方法学方法
机译:使用Petri网形式化分析和验证以MSC语言描述的电信系统的自动系统
机译:Qos-UniFrame:基于petri网的建模方法,用于确保分布式实时和嵌入式系统的Qos要求;会议论文
机译:一种开发和实现模型的方法,该模型用于形式化描述多组件分布式协作系统,特别是智能柔性生产自动化系统
机译:基于Petri网和启动推荐器的优化系统及其实现方法。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。