Budapest University of Technology and Economics Hungary;
机译:关于SNSP的设计和形式验证:针对安全关键型应用程序的新型实时通信协议
机译:实时资源访问控制协议的建模,分析和验证:一种正式方法
机译:扩展正式的安全协议规范语言以用于新的验证技术
机译:使用具有正式数据和行为语义的建模语言验证实时安全关键协议
机译:用于形式化方法的框架可驱动对可靠实时协议的验证和确认。
机译:用于将面向对象的模型映射到语义Web语言的语义框架
机译:协议合规性验证的正式硬件规范语言