退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用标有Petri网的组成设计和验证通信协议
Jean Christopeh Lloret; Pierre Azéma; François Vernadat;
机译:使用高级Petri网对Sdl指定的通信协议进行建模和验证
机译:使用高级Petri网验证Estelle特定的通信协议
机译:PROTEAN:高级Petri网工具,用于规范和验证通信协议
机译:通过Petri网的参数组成验证以太网协议
机译:组成分层时间Petri网的验证方法。
机译:评估定制设计的辅助工具以改善肥厚型心肌病家族遗传结果的交流:一项随机对照试验的研究方案
机译:无限培养网验证三角通信网格协议
机译:协议工程中的组合petri网
机译:通信网络管理上下文中的集中式Internet协议/多协议标签交换连接性验证
机译:互联网协议/多协议标签交换数据通信网络的连通性验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。