文件名称：matlab开发-探索设计验证04
文件大小：1.5MB
文件格式：ZIP
更新时间：2022-09-11 02:30:53
未分类
matlab开发-探索设计验证04。这有用于探索Simulink设计验证程序的示例文件
【文件预览】：
updown_sfun_bad.mdl
therac_statechart_sldv.mdl
make_mtl.m
Therac_Mcode.mdl
updown_sfun.mdl
voter_logic_test_report.html
voter_logic.mdl
updown_sfunbuild.mdl
voter_logic_report.html
voter_logic_harness.mdl
therac.xlsx
updown_sfunbuild_bad.mdl
therac.smv
mfile.txt
Requirements.pdf
test.smv
make_mtl_code_SMV_gen.m
make_mtl_code_M_gen.m
voter.smv
voter_logic_test.mdl
exploring_SLDV_04.pdf
license.txt