×

数学ZBZ-数学第一资源

用STL定位Simulink/Stateflow模型中的故障。(英语) Zbl 1409.68168
第21届ACM混合系统国际会议记录:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11日至13日。纽约,纽约:计算机机械协会(ACM)。197-206(2018年)。

理学硕士:
68Q60型 规范和验证(程序逻辑、模型检查等)
03B44号 时态逻辑
PDF格式 BibTeX公司 XML 引用
全文: 内政部