East-adl; Timing constraints; Probabilistic Ccsl Simulink Design Verifier; Weakly-hard system;
机译:能量和内存约束下的概率可重构离散事件系统的建模,仿真和验证
机译:通过优化时序约束来支持车载嵌入式系统的时序分析
机译:时序约束验证的静态分析与进化测试的比较
机译:使用Simulink设计验证者自主汽车系统时序约束的概率分析
机译:分布式实时汽车系统的概率时序分析。
机译:专为嵌入式汽车平台设计的用于自动驾驶的端到端深度神经网络
机译:将simulink验证和确认(V&V)和simulink设计验证器(SDV)用于HVAC控制软件