【文件属性】：
文件名称：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