机译:PROTEAN:高级Petri网工具,用于规范和验证通信协议
机译:使用高级Petri网对Sdl指定的通信协议进行建模和验证
机译:使用高级Petri网验证Estelle特定的通信协议
机译:基于规范语言和Petri网的协议建模与验证方法
机译:规范和验证复杂的业务流程-基于Petri网的高级方法
机译:使用Petri网络建模器对Internet加密协议进行规范和分析。
机译:使用高级Petri网建模免疫系统反应的方法学方法
机译:无限培养网验证三角通信网格协议
机译:使用状态转移模型对aFFIRm中通信协议的规范和验证