机译:时限安全协议规范和验证的环境
机译:时间依赖性偏微分方程的残余平衡方案(从国际期刊计算机和流体转载)
机译:定时安全协议的正式规范和验证框架
机译:Ambient Intelligence应用程序中与位置相关的正确性和安全性属性的运行时验证
机译:正式规范和验证可靠的分布式协议的模块化方法。
机译:医疗保健中的计算机应用。医院中的计算机系统。药学和营养系统:改进的M.A.P.用于计划监视和调整药物剂量方案的贝叶斯分时计算机程序
机译:时限安全协议规范和验证的环境
机译:计算机通信协议属性综述。第一卷计算机通信协议的功能,属性,规范和分析方法。