文档帮助中心文档
这个例子展示了如何验证安全属性在推力反向器的设计模型。它下面的属性块包含四个安全属性。金宝app仿真软件设计校验分析设计模型和安全属性证明正确性或识别反例。模型引用的使用消除了需要验证的内容添加到设计模型,允许核查内容设计的独立存在。
open_system (“sldvdemo_thrustrvs_verification”);
您有一张这本Beispiels abgeanderte版本。您这本Beispiel麻省理工学院古老Anderungen offnen吗?
您有窗户的链接geklickt,汪汪汪der diesem MATLAB-Befehl entspricht:
在das MATLAB-Befehlsfenster Fuhren您窝Befehl军队Eingabe来自。浏览器unterstutzen MATLAB-Befehle。
选择一个网站翻译内容,看到当地事件和提供。根据你的位置,我们建议您选择:。
你也可以从下面的列表中选择一个网站:
选择中国网站(中文或英文)最佳站点的性能。其他MathWorks国家网站不优化的访问你的位置。
联系你当地的办公室