埃齐奥·巴托西;托马斯·费雷尔;奈维迪塔·曼朱纳特;德扬·尼契科维奇 使用STL定位Simulink/Stateflow模型中的故障。 （英语） Zbl 1409.68168号 第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。197-206 (2018). 引用于2文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B44号 时间逻辑 软件：状态流;Simulink公司;Matlab公司;违约;AMT公司 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人，in：第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。197-206（2018年；Zbl 1409.68168） 全文： 内政部