embedded systems; model-based design; model transformation; Simulink;
机译:将Simulink模型转换为IEC 61499功能块,以验证分布式控制系统
机译:全场模式分拣机使用两个优化的高维量子密码术相变
机译:通过Matlab / Simulink / StateFlow自动模型转换为IEC 61131-3的高效控制编程
机译:为具有图形转换的Simulink模型创建排序列表
机译:变革动力:为促进个人行为改变而创建的程序/模型有效性的记录和分析。
机译:CO2诱导的互穿柔性MOF的单晶至单晶转变通过原位晶体学分析和分子模型解释
机译:使用图变换将Simulink / Stateflow模型语义转换为混合自动机