IRISA, Campus de Beaulieu, 35042 Rennes Cedex, France;
机译:带有消息序列图的分布式系统需求建模:RMTP2协议的情况
机译:Internet控制消息协议隐蔽通道的分析与应用
机译:基本协议,消息序列图和需求规范的验证
机译:在具有消息序列图表的协议中查找隐蔽频道:RMTP2的情况
机译:Ad Hoc网络中的隐蔽通道:使用优化的链接状态路由协议进行的分析。
机译:方案:接受非心脏手术的老年患者术后隐性中风与认知功能障碍的关联:一项前瞻性队列研究(PRECISION研究)的方案
机译:基本协议,消息序列图和需求规范的验证