亚伯拉罕·维诺德(Abraham P.Vinod)。;约瑟夫·格里森。;Meeko M.K.Oishi。 演示摘要:SReachTools:MATLAB随机可达性工具箱。 (英语) Zbl 07120165号 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。264-265(2019年)。MSC公司:第68季度第45季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Vinod}等人,in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,蒙特利尔,魁北克,加拿大,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。264--265(2019年;Zbl 07120165) 全文: 内政部
亚伯拉罕·维诺德(Abraham P.Vinod)。;约瑟夫·格里森。;Meeko M.K.Oishi。 SReachTools:MATLAB随机可达性工具箱。 (英语) Zbl 07120138号 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。33-38 (2019).MSC公司:第68季度第45季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Vinod}等人,in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,蒙特利尔,魁北克,加拿大,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。33-38(2019年;Zbl 07120138) 全文: 内政部
克里希南德·查特吉;拉斯穆斯·易卜森·延森;鲁帕克·马朱姆达尔 编辑定时自动机的距离。 (英语) Zbl 1360.68544号 第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15日至17日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2732-9)。303-312 (2014).MSC公司:第68季度第45季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《第17届ACM混合系统国际会议论文集:计算与控制》,HSCC 2014,德国柏林,2014年4月15-17日。纽约州纽约市:计算机协会(ACM)。303--312(2014;Zbl 1360.68544) 全文: 内政部 链接
托马斯·亨辛格(Thomas A.Henzinger)。;奥托普,简 混合系统的模型测量。 (英语) Zbl 1362.68173号 第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15日至17日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2732-9)。213-222 (2014).MSC公司:第68季度第60季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{J.Otop},摘自:第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15-17日。纽约州纽约市:计算机协会(ACM)。213--222(2014;Zbl 1362.68173) 全文: 内政部
塞尔吉·博戈莫洛夫;克里斯蒂安·埃雷拉;马尔科·穆尼兹;伯恩德·韦斯特法尔;安德烈亚斯·波德尔斯基 混合自动机中的准相关变量。 (英语) 兹比尔1361.68118 第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15日至17日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2732-9)。93-102 (2014).MSC公司:第68季度第45季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人,in:第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15-17日。纽约州纽约市:计算机协会(ACM)。93-102(2014年;Zbl 1361.68118) 全文: 内政部 链接