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

时间:2022-09-11 08:40:18
【文件属性】:

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

网友评论