Universit#x00E9;
de Lyon, INRIA, INSA-Lyon, CITI-INRIA, F-69621, Villeurbanne, France;
机译:Sytare:用于基于NVRAM的瞬态供电系统的轻量级内核
机译:增量板材成形过程编程系统之间的比较研究
机译:使用归纳逻辑编程的生物系统定性模型增量式识别
机译:用于瞬态供电系统的程序状态的增量检查点
机译:对气候变化的增量适应:肯尼亚东部小农农业的序贯随机线性规划模型
机译:降低系统总开销的两级增量检查点恢复方案
机译:基于MPU的瞬态动力系统的增量检查点
机译:人体系统集成模型分析支持联合服务可移动净化系统 - 小规模增量I获取计划