机译:使用WCET分析找到用于测试多任务实时系统的DU路径
机译:成人偏瘫患者的平衡评估系统测试(BESTest)和BESTest部分的可靠性
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:用关键部分测试多任务餐时系统
机译:AdaStress:安全关键系统的自适应压力测试和可解释的分类
机译:关键点干燥的整个安装座和塑料包埋部分的细胞质细丝系统
机译:使用WCET分析查找用于测试多任务实时系统的DU路径