文件名称:matlab开发-用模拟设计验证程序解决高铁问题
文件大小:152KB
文件格式:ZIP
更新时间:2022-09-11 08:40:18
未分类
matlab开发-用模拟设计验证程序解决高铁问题。这有两个模型,试图用SDV找到一个老谜题的解决方案。
【文件预览】:
How do I teach Formal Methods to kids.pdf
license.txt
die_hard.mdl
ferryman.mdl
文件名称:matlab开发-用模拟设计验证程序解决高铁问题
文件大小:152KB
文件格式:ZIP
更新时间:2022-09-11 08:40:18
未分类
matlab开发-用模拟设计验证程序解决高铁问题。这有两个模型,试图用SDV找到一个老谜题的解决方案。