机译:从模型检查NASA机器人控制器中学到的经验教训
School of Computer Science and Software Engineering Institute, Carnegie Mellon University, 5000 Forbes Ave., Pittsburgh, PA 15213, USA;
software verification; component-oriented software development; ion; compositional reasoning; executable design specifications;
机译:利用离散事件模拟进行进度表分析:从NASA GOPD集成时间轴模型中学到的过程和经验教训
机译:应对国际机器人挑战的低成本解决方案:托斯卡纳机器人团队在ERL Emergency Robots 2017上汲取的教训
机译:建立跨神经科学和机器人学的协同框架:汲取的教训和未解决的问题。对以下方面的评论的答复:“手协同作用:机器人技术和神经科学的集成,以理解生物和人造手的控制”
机译:朝向模型的方法检查ASM:从Flash案例研究中吸取的经验教训
机译:使用模型检查最小化计算密集的襟翼机器人控制器。
机译:艾滋病毒感染三十年了—非进步仍然令人困惑:从控制者和长期非进步者那里汲取的教训
机译:从模型检查Nasa机器人控制器中吸取的教训
机译:经验教训模型检查工业通信库