IRIT - University Paul Sabatier and Centre National d'Etudes Spatiales (CNES) Campus de Rangueil, Toulouse, France;
IRIT - University Paul Sabatier and Centre National d'Etudes Spatiales (CNES) Campus de Rangueil, Toulouse, France;
IRIT - University Paul Sabatier and Centre National d'Etudes Spatiales (CNES) Campus de Rangueil, Toulouse, France;
IRIT - University Paul Sabatier and Centre National d'Etudes Spatiales (CNES) Campus de Rangueil, Toulouse, France;
IRIT - University Paul Sabatier and Centre National d'Etudes Spatiales (CNES) Campus de Rangueil, Toulouse, France;
interactive critical systems; formal methods; systematic approach to training;
机译:交互式座舱是关键应用:基于模型和容错的方法
机译:基于模型的关键交互系统用户界面的动态分配的多形式主义方法
机译:一种基于模型的方法来对本地洪水进行系统的风险分析TI一种基于模型的方法来对本地洪水紧急操作计划进行系统的风险分析:迈向决策支持系统的第一步
机译:基于模型的培训:一种方法支持关键交互系统的可操作性:卫星地面段的应用
机译:基于模型的系统工程应用程序,用于分析地面车辆和机器人技术的支持策略。
机译:基于GIS应用程序和遥感卫星图像分析支持的地面清点确定Al-Baha地区的蜜蜂觅食物种的时空分布
机译:可用的大型交互式关键系统的开发过程:在卫星地面部分的应用
机译:卫星红外(sIRE)传感器数据处理透视和定义。第三卷。附录B.关于sIRE地面部分规范的评论。附录C.关于Hughes sIRE地面部分概念和系统描述的评论