INRIA Rhone-Alpes / VASY, 655, avenue de l'Europe, 38334 Saint-Ismier Cedex, France;
机译:更有效的彩色Petri网的动态验证方法
机译:柔性边界QM / MM进行离子溶解的分子动力学模拟:QM和MM子系统之间的动态部分电荷转移
机译:一种尺寸不能满足所有需求:基于逻辑的群集可实时进行Web服务组合和验证
机译:基于成分验证的IMA集成方法研究
机译:验证,验证和实施OpenFOAM 2.0不可压缩流的数值方法和模型。
机译:在即时的有限差分泊松 - 玻尔兹曼方法数值表面一体化
机译:Exp.Open 2.0:集成了部分订单,组成和实时验证方法的灵活工具
机译:概率要求(部分)验证方法最佳实践改进。变量验收抽样计算器:计划的衍生和验证,第1卷