matlab开发-用模拟设计验证程序解决高铁问题

【文件属性】：

文件名称：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