大阪大学;
机译:使用代数和时间规范开发通信协议
机译:认证协议的自然语言规范的动画|科学出版物
机译:通信协议规范的新形式方法
机译:使用上下文相关性将自然语言规范转换为形式规范的方法
机译:使用两级语法和上下文自然语言处理,将需求文档自动转换为可执行的正式规范。
机译:知道我们在做什么:为什么规范治疗方法对言语病理学中基于证据的实践至关重要
机译:使用上下文相关性将自然语言规范转换为形式规范的方法
机译:计算机通信协议属性综述。第一卷计算机通信协议的功能,属性,规范和分析方法。