LAAS-CNRS 7, avenue du colonel Roche 31077 Toulouse cedex (France);
LAAS-CNRS 7, avenue du colonel Roche 31077 Toulouse cedex (France);
机译:使用SDL进行Web实时通信的信令协议的形式化建模和验证
机译:基于博弈的通信协议建模与形式分析
机译:基于游戏的通信协议建模与正式分析
机译:关键时间通信协议的形式化建模和分析
机译:传统模型和新兴模型中多媒体通信协议的安全性分析
机译:勘误至:在欧洲获得及时的正式痴呆护理:Actifcare(及时正规护理的访问)研究方案
机译:节能无线传感器网络基于群集的通信协议的性能分析。各种拓扑下通信协议的设计,分析和性能评估,以延长无线传感器网络的使用寿命。
机译:通信协议的形式化建模