阿波法兹·拉瓦伊;马哈茂德·哈立德;萨代赫·苏贾尼;马吉德·扎马尼 AMYTISS:大型随机系统自动控制器综合的并行工具。 (英语) 兹比尔07300872 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第31条,第2页(2020年)。MSC公司:第68季度第45季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人,in:第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼与虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第31条,第2页(2020;Zbl 07300872) 全文: 内政部
纳塔利·考奇;亚历山德罗·阿巴特 海报摘要:StocHy–随机过程的自动验证和合成。 (英语) 兹伯利07120162 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。258-259(2019年)。MSC公司:第68季度第45季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Cauchi}和\textit{A.Abate},in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。258-259(2019;Zbl 07120162) 全文: 内政部
亚伯拉罕·维诺德(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季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Vinod}等人,in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,蒙特利尔,魁北克,加拿大,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。33-38(2019年;Zbl 07120138) 全文: 内政部