University of Pennsylvania;
University of Illinois at Urbana-Champaign;
机译:使用事件B的可扩展会话协议的正式设计:验证,实验和基准
机译:SoC仲裁协议的基于形式的设计和验证:TDMA和轮询的比较分析
机译:用于网络协议的整体安全性设计和验证的正式方法
机译:协议设计的早期阶段正式原型
机译:无线能量收集传感器的原型设计和网络协议。
机译:结合本体和工作流程以设计用于生物实验室的正式协议
机译:在协议设计的早期阶段进行形式化原型设计
机译:基于Estelle IsO形式描述技术的通信协议形式化设计