Cornell University.;
机译:一种用于组成规范和有限状态硬件控制器验证的语言
机译:通过在Oo设计中利用层来指定和验证不变量
机译:通过开发OO设计中的层来指定和验证不变量
机译:使用自动化工具对通讯协议进行正式规范和验证
机译:正式规范和验证可靠的分布式协议的模块化方法。
机译:使用商业记录和验证系统进行容积调制电弧疗法治疗的远程自动每日交付验证的可行性
机译:用于规范和验证时间相关安全协议的环境。国际计算机与应用杂志
机译:计算机通信协议属性综述。第一卷计算机通信协议的功能,属性,规范和分析方法。