Wipers and Washers; Simulation and Modeling; Embedded Software;
机译:光伏MPPT算法作为汽车嵌入式软件的设计和验证
机译:用于汽车嵌入式软件测试的模型自动测试用例
机译:使用基于执行轨迹的约束提取为嵌入式处理器自动生成测试程序
机译:基于节目痕迹执行,自动验证汽车电子模块的嵌入式软件
机译:实用自动确定软件执行轨迹中的因果关系
机译:汽车嵌入式平台基于属性的加密性能评估用于安全软件超空气更新
机译:使用符号执行和未解释的功能进行嵌入式软件验证