LATTIS University of Toulouse 1 place George Brassens, Blagnac 31703 Toulouse, France;
CNRS LAAS University of Toulouse UPS, INSA, INP, ISAE 7 avenue du colonel Roche F-31077 Toulouse, France;
LATTIS University of Toulouse 1 place George Brassens, Blagnac 31703 Toulouse, France;
wireless networks; multi-channel mac protocols; modeling; verification; petri net;
机译:实时资源访问控制协议的建模,分析和验证:一种正式方法
机译:具有事件B的时间受限ARQ协议的形式化建模和验证
机译:用UML建模的安全组通信协议的形式验证
机译:共同跳跃多通道MAC协议的正式建模与验证
机译:关于组密钥安全协议的形式验证
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:迈向802.11 MAC协议的形式验证:将Petri网应用于802.11 PCF建模的案例研究