机译:在基于约束的测试中为动态内存管理建模
Universire de Rennes 1, Campus de Beaulieu, 35042 RENNES, France;
CEA LIST, Saclay, 91 191 Gif Sur Yvette, France;
INR1A, Campus de Beaulieu, 35042 RENNES, France;
software testing; constraint-based testing; automatic test data generation; dynamic structures;
机译:利用检索和决策集成模型建模识别存储器测试的动态
机译:基于几何约束的模拟和分析,具有形状记忆合金发起的变量刚度的新型连续体机器人
机译:测试视觉工作记忆动态神经场模型的血流动力学预测
机译:基于约束的测试中的动态内存管理建模
机译:弥合空间语言和空间工作记忆之间的鸿沟:对将空间规划和记忆与语言过程集成在一起的动态场模型的测试。
机译:基于约束模型的代谢网络调节热力学分析
机译:在基于约束的测试中为动态内存管理建模