机译:从Simulink到SCADE / Lustre到TTA:分布式嵌入式应用程序的分层方法
机译:离散时间混合系统的可达性解析,并应用于Simulink / Stateflow的自动测试生成
机译:基于合同的离散时间多速率Simulink模型验证
机译:将离散时间的Simulink翻译为光泽
机译:使用Boogie =自动验证离散时间Matlab Simulink模型的框架,用于自动验证时间谨慎Matlab Simulink模型与Boogie的框架
机译:有光泽的物质外观:双眼光泽触发条件的内部和外部限制
机译:将离散Simulink转换为光泽
机译:simulink中的姿态动力学建模:由Rms手控器产生的扭矩和脉冲的航天器旋转和平移运动的研究