RATP ING/STF/QS 54 rue Roger Salengro 94724 Fontenay-sous-Bois France;
Formal methods; Verification tool-chain; Railway safety; PERF;
机译:网格计算中的加权资源发现方法形式验证方法和仿真
机译:处理B模型在PERF集成验证框架中:正式和认证嵌入
机译:一种基于事件的方法,用于正式验证运行时自适应实时系统
机译:正式验证的顺利方法
机译:一种用于高完整性应用程序的合同验证的正式方法。
机译:网络物理系统中控制模块的正式验证
机译:航空运营控制多功能谈判方法的正式建模与验证