Simulink/Stateflow模型的形式验证及其应用

Simulink/Stateflow模型的形式验证及其应用

出版年：2015

作者：邹亮

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Simulink/Stateflow在Isabelle下的形式化

作者：易士程
出版社：中国科学院软件研究所
出版年：2023

带时间和资源约束的过程模型验证方法及其实现

作者：李伟亨
出版年：2014

流域水文模型XXT的集合验证及其在陆-气耦合模式中的集成与应用

作者：郑子彥
出版年：2012

仿真模型有效性确认与验证

作者：蔡放
ISBN：7810244744
出版社：国防科技大学出版社
出版年：1998

软件测试 :原理、模型、验证与实践

作者：王蓁蓁
ISBN：9787302583486
出版社：清华大学出版社
出版年：2021

Java内存模型的动态验证

作者：赵晓凯
出版年：2015