机译:从Simulink〜®自动生成的代码的自动验证
Oxford University, Oxf ord, UK;
Simulink; Auto-code; Z; Refinement; Theorem proving; Ada;
机译:Simulink PLC Coder为工业控制系统生成IEC 61131结构化文本
机译:使用Simulink Design Verifier将ISO 26262概念整合到自动测试工具链中
机译:实数/二进制编码与二进制编码遗传算法自动生成模糊知识库的比较研究
机译:从Simulink验证自动生成的C代码汽车领域的经验报告
机译:使用Boogie =自动验证离散时间Matlab Simulink模型的框架,用于自动验证时间谨慎Matlab Simulink模型与Boogie的框架
机译:历史作者隶属关系可协助验证自动生成的MEDLINE®引文
机译:maTLaB / simulink自动生成代码的时序分析
机译:simulink代码生成:使用simulink Coder从simulink模型生成C代码的教程。