Formal Specification and Verification; Inconsistency management; Regression verification; Feedback control systems; Model predictive control; Evolving automotive systems;
机译:虚拟化的原位软件更新验证:空中汽车软件更新的验证
机译:光伏MPPT算法作为汽车嵌入式软件的设计和验证
机译:基于早期模型的汽车控制系统软件实现的设计和验证
机译:邀请:演出,验证和开发汽车软件的设计
机译:在软件定义无线电的范围内,针对设计模型相对于其规格模型的符合性验证:一种模型转换方法。
机译:邀请评论:与排放有关的汽车技术。
机译:演化汽车软件的规范,验证和设计
机译:规范携带软件:动态系统组合的不断发展的规范