Verimag Laboratory, Universite Joseph Fourier Grenoble, CNRS;
rnVerimag Laboratory, Universite Joseph Fourier Grenoble, CNRS;
rnVerimag Laboratory, Universite Joseph Fourier Grenoble, CNRS;
rnINRIA/IRISA, Rennes, France;
rnUniversite de Rennes 1/IRISA, Rennes, France;
rnINRIA/IRISA, Rennes, France;
机译:大型异构系统的统计抽象和模型检查
机译:通过使用角色标准化异构机器人系统的抽象:软件和开发工具管理中的可用性研究
机译:复制的计算结果(RCR)报告“多尺度时空系统统计抽象”
机译:大型异构系统的统计抽象和MO DEL检查
机译:用于系统验证的符号模型检查及其在决策表和分布式协作发布系统中的应用。
机译:评估数据抽象助手一种用于系统审查期间数据抽象的新型软件应用程序:随机对照试验的方案
机译:大型异构系统的统计抽象和模型检查