退出
我的积分:
中文文献批量获取
外文文献批量获取
罗军舟; 杨晓燕;
中国系统仿真学会;
中国计算机学会;
Petri网; Estelle; 协议描述; 通信协议;
机译:使用高级Petri网验证Estelle特定的通信协议
机译:Petri网在以Estelle语言表示的分布式系统验证中的应用
机译:EHPVS:用于验证ESTELLE中特定协议的协议验证系统
机译:使用通信时间Petri网验证Time-Estelle规范
机译:ESTELLE验证ATM可用比特率(ABR)控制协议。
机译:具有活动状态转移图的高阶Petri网模型的时变结构转换分析
机译:estelle上下文中的协议规范工具:asN.1 / EsTELLE转换器
机译:基于Estelle IsO形式描述技术的通信协议形式化设计
机译:一种过程优化方法,包括分析过程定义以发现控制序列依赖性,然后将控制序列逐步转换为相应的Petri网络,然后在另一步骤中分析Petri网络
机译:用于将超文本传输协议实时流协议转换为移动环境中的实时流协议的系统,能够将传输控制协议连接转换为用户数据协议及其方法
机译:多媒体消息交互设备和使用MM4协议的方法,特别是用于将简单的邮件传输协议消息转换为IMT-2000的MM4协议消息并将MM4协议消息转换为简单的邮件传输协议的消息
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。