文件名称：matlab开发-测试安全关键控制系统
文件大小：23.6MB
文件格式：ZIP
更新时间：2022-09-10 08:20:50
未分类
matlab开发-测试安全关键控制系统。这是关于安全关键控制系统测试的演示。
【文件预览】：
yvjeppu-Safety_Critical_Control-21ada56
----index.md(1KB)
----formal_methods_just_enough.pdf(4.65MB)
----Testing_Safety_Critical_Control_Systems_v1_7.pdf(22.57MB)
----_config.yml(26B)