机译:Petri网方法来检查方面系统中的成分
机译:使用模糊规则的受控含水层补给的站点选择:集成地理信息系统(GIS)工具和多准则决策[使用多种规则的受控含水层补给的站点选择:确认系统的集成地理(GIS)和有条件的决策]
机译:放弃水塔及其对集体灌溉系统的运作后果。一种态势多种子体方法应用于平均持久性的重力通道(法国)
机译:一种控制系统标准化方法,可满足各种变电站更换需求
机译:扩散系统中的建模和形式上下文规范及其预测:一种基于时间逻辑和随机模型的方法
机译:基于控制流的业务工作流模式验证:一种使用基于知识的系统的方法
机译:陆地,空中,海上和空间飞行器的合作:在车辆动力学,系统识别,控制和处理质量方面建立共同点(La collaboration dans le domaine des vehicules terrestres,aeriens,maritimes et spatiaux:L'etablissement d'une approche de la dynamique des vehicules,l'identification des systemes,et les qualite's de controle et de pilotage)