...
机译:快速测试套件驱动的基于模型的故障定位,可用于查明学生程序中的缺陷
Univ Southampton, Comp Sci, Southampton SO17 1BJ, Hants, England;
Stellenbosch Univ, Comp Sci, ZA-7602 Matieland, South Africa;
Univ Southampton, Southampton SO17 1BJ, Hants, England;
Automated debugging; Model-based fault localisation; Symbolic execution; Automated assessment;
机译:基于模型的飞机控制面伺服回路快速,鲁棒故障检测方法:从理论到飞行试验[控制应用]
机译:利用现场可编程门阵列上的随机逻辑对混合不确定性进行快速故障树分析:在焊接缺陷风险的定量评估和缓解中的应用
机译:与应用无关的3D现场可编程门阵列互连故障测试
机译:采用基于快模型的故障定位,以帮助学生在自我导向的计划维修中,提高评估
机译:各向异性介质中车辆的平滑功能优化和非线性规划在车辆最快路径查找中的应用。
机译:Supphrey的单眼视野缺陷24-2 SITA-FAST测试后来被确定为Humphrey 30-2 SITA-FAST测试上的高度不协调的同性缺陷
机译:快速测试套件驱动的基于模型的故障本地化,应用于精确定位学生课程的缺陷
机译:基于模型的故障检测和隔离,用于间歇活动故障,应用于航天器的基于运动的推进器故障检测和隔离