Electronics and Telecommunications Research Institute 161 Kajong-Dong, Yusong-Gu, Daejon, 305-350 Korea;
机译:开放网络和分布式系统上的安全协议:用于分析,设计和验证的正式方法
机译:以太网TCP /基于IP的DSP系统验证的音频接口
机译:TTEthernet同步协议及其形式验证
机译:使用以太网接口的IMT-200系统的协议验证方法
机译:用于形式化方法的框架可驱动对可靠实时协议的验证和确认。
机译:安全的以太网接口系统的有效数据传输速率和速度
机译:开放网络和分布式系统上的安全协议:用于分析,设计和验证的正式方法