A Framework for the Automatic Verification of Discrete-Time Matlab Simulink Models Using Boogie =Ein Framework für die automatische Verifikation von zeitdiskreten MATLAB Simulink Modellen mit Boogie

著录项

• 作者

  Reicherdt, Robert.;

  展开▼
• 作者单位

  Technische Universitaet Berlin (Germany).;

  展开▼
• 授予单位 Technische Universitaet Berlin (Germany).;
• 学科
• 学位 Eng.D.
• 年度 2015
• 页码 202 p.
• 总页数 202
• 原文格式 PDF
• 正文语种 eng
• 中图分类
• 关键词

• 入库时间 2022-08-17 12:04:09