退出
我的积分:
中文文献批量获取
外文文献批量获取
罗军舟; 沈俊; 顾冠群;
东南大学计算机科学与工程系;
南京;
210096;
协议; 协议工程; 形式描述技术; Petri网;
机译:用于形式描述数据计算网络的信号和协议的语法网络的分类
机译:语法和特殊性在信号和协议形式描述中的应用
机译:议工程中的技术管理
机译:形式描述技术与软件工程:历经两个十年的研究与思考
机译:热议或热议:价值观与收听政治谈话广播之间的关系。
机译:具有模糊逻辑的Petri网(PNFL):逆向工程和参数化
机译:简议水利工程施工中堤坝防渗加固技术
机译:军事信息系统工程学术研讨会技术会议(国防研究组信息处理技术小组11)
机译:三维形式描述方式及所使用的工程系统无效
机译:基于改进的Petri网的技术运营建模方法
机译:用Petri网的原理和技术编写电话呼叫中心脚本
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。