IRIT, University of Toulouse 3, 118 route de Narbonne 31062 Toulouse, France;
model-based design; task modelling; dialog modelling; scenarios based simulation;
机译:基于模型的测试和评估过程与系统安全过程的集成,以开发安全关键武器系统
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:基于模型的关键交互系统用户界面的动态分配的多形式主义方法
机译:基于协同式模型的安全关键交互式系统测试的益处
机译:一种用于为基于组件的安全关键系统生成测试套件的新颖方法。
机译:基因抗药性测试对广泛接受抗逆转录病毒治疗的患者的长期益处:基于模型的方法
机译:基于安全关键车辆功能实例的嵌入式系统模型测试评估
机译:基于模型的开发是商用飞机上复杂和安全关键计算机系统的有利方法吗?