EADS-Airbus SA, A/BTE/SY/MS 316 route de Bayonne, 31000 Toulouse cedex 03, France;
机译:嵌入式控制系统的基于仿真的验证方法:传统和高级建模,测试和验证技术的概述
机译:一种改进的遗传算法,用于使用优先级队列在云环境中进行任务调度:形式验证,模拟和统计测试
机译:通过内置测试减少基于组件的软件工程中的验证工作
机译:使用正式验证技术来减少模拟和测试工作
机译:正式和半正式验证在软件测试,高级综合和能源互联网中的应用
机译:现实的铅轨迹的数值模拟和实验验证支持并行射频传输减少MRI期间深部脑刺激植入物发热的功效
机译:使用形式验证技术减少仿真和测试工作量