埃齐奥·巴托西;托马斯·费雷尔;奈维迪塔·曼朱纳特;德扬·尼契科维奇 使用STL定位Simulink/Stateflow模型中的故障。 (英语) Zbl 1409.68168号 第21届ACM混合系统国际会议论文集:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。纽约州纽约市:计算机协会(ACM)。197-206 (2018).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人,in:第21届ACM混合系统国际会议论文集:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。纽约州纽约市:计算机协会(ACM)。197-206(2018年;Zbl 1409.68168) 全文: 内政部
Jyotirmoy V.德斯穆赫。;鲁帕克·马朱姆达尔;Vinayak S.普拉布。 使用斯科罗霍德指标量化合规性。 (英语) Zbl 1360.68629号 形式方法系统。设计。 50,编号2-3,168-206(2017).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Deshmukh}等人,《形式方法系统》。设计。50,编号2--3,168-206(2017;Zbl 1360.68629) 全文: 内政部
阿列娜·罗迪奥娃;埃齐奥·巴托西;德扬·尼科维奇;拉杜·格罗苏 时间逻辑作为过滤。 (英语) Zbl 1364.94156号 第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3955-1)。11-20 (2016).MSC公司:94甲12 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rodionova}等人,in:第19届ACM混合系统国际会议论文集:计算与控制,HSCC 2016,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)。11-20(2016年;Zbl 1364.94156) 全文: 内政部 arXiv公司
布里姆·L。;德卢霍什,P。;萨夫拉内克,D。;Vejpustek,T。 STL*:使用信号值冻结运算符扩展信号时序逻辑。 (英语) Zbl 1311.68085号 Inf.计算。 236, 52-67 (2014).MSC公司:60年第68季度 92B25型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Brim}等人,《信息计算》。23652--67(2014年;Zbl 1311.68085) 全文: 内政部
艾丁·戈尔(Ebru Aydin Gol);卡林·贝尔塔 多仿射系统的时间约束时序逻辑控制。 (英语) Zbl 1302.93113号 非线性分析。,混合系统。 10, 21-33 (2013). 审核人:Wiesław Kotarski(索斯诺伊克) MSC公司:93B52号 93个B05 49公里15 70年第68季度 90C25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Aydin Gol}和\textit{C.Belta},非线性分析。,混合系统。10、21——33(2013;Zbl 1302.93113) 全文: 内政部 arXiv公司
艾丁·戈尔(Ebru Aydin Gol);米尔恰·拉扎尔;卡林·贝尔塔 离散时间线性系统的语言制导控制器综合。 (英语) Zbl 1361.68114号 第15届ACM混合系统国际会议论文集:计算与控制,HSCC 2012,中国北京,2012年4月17日至19日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1220-2)。95-104 (2012).MSC公司:65年第68季度 60年第68季度 93亿B50 93二氧化碳 93C55美元 93天30分 PDF格式BibTeX公司 XML格式引用 \textit{E.Aydin Gol}等人,《第15届ACM混合系统国际会议论文集:计算与控制》,HSCC 2012,中国北京,2012年4月17日至19日。纽约州纽约市:计算机协会(ACM)。95-104(2012;Zbl 1361.68114) 全文: 内政部
奥德·马勒;德扬·尼科维奇 监测连续信号的时间特性。 (英语) Zbl 1109.68518号 Lakhnech,Yassine(ed.)等人,定时和容错系统的形式化技术、建模和分析。关于定时系统的正式建模和分析的联合国际会议,FORMATS 2004,以及实时和容错系统的正式技术,FTRTFT 2004,法国格勒诺布尔,2004年9月22日至24日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23167-6/pbk)。计算机科学课堂讲稿3253152-166(2004)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{O.Maler}和\textit{D.Nickovic},莱克特。注释计算。科学。3253、152--166(2004年;Zbl 1109.68518) 全文: 内政部